Ceci est une question de suivi de Qu'est-ce qu'une "lune" exactement? Les conclusions que je tire de la réponse de James K est que l'UAI devrait définir ce qu'est une lune. Ils ne l'ont pas encore fait, mais ils le devraient.
La manière évidente de définir la "lune" serait de s'appuyer sur la définition d'une planète:
- Les planètes doivent être en orbite autour du Soleil
- Les planètes doivent être rondes en raison de leur propre gravité
- Les planètes doivent avoir "nettoyé le voisinage"
Cela suggère immédiatement la définition équivalente d'une lune:
- Les lunes doivent être en orbite autour de la planète hôte
- Les lunes doivent avoir [taille minimale]. Malheureusement, être rond ne fonctionne pas car toutes les lunes ne sont pas rondes (cf. les lunes de Mars, sauf si l'on reclasse celles-ci comme non lunes)
- Les lunes doivent avoir "nettoyé le voisinage" de leur propre orbite, c'est-à-dire que dans leur orbite particulière autour de l'hôte, elles sont de loin le corps le plus massif
Une telle définition fonctionnerait-elle? Si oui, pourquoi l'UAI n'a-t-elle pas également défini les lunes? Cela semble si naturel après tout. Sinon, quel est le piège?