Carte du ciel - Numéro des astéroides

[Marc DELDEM]

Petite évolution facile:
Sur la carte du ciel on peut afficher le nom des astéroides, mais pas uniquement les numéros.
Ce serait quand même bien pratique de pouvoir indiquer si on veut le nom, le numéro, les 2 au niveau de l'affichage.

Marc