Planète géante gazeuse : définitions