Naine rouge : définitions