IAUC 7900 : Satellites de Jupiter 16 mai 2002 -LRB- découverte -RRB- MPEC 2002-J54 : onze nouveaux satellites de Jupiter 15 mai 2002 - LRB- découverte et éphémérides -RRB-
IAUC 2002 16 mai -LRB- découverte -RRB- MPEC 2002 15 mai -LRB- découverte et éphémeris -RRB-