Donne la définition d'une planète rocheuse.​