Planète rouge : définitions