(9931) Herbhauptman
astre
astéroïde de la ceinture principale d'astéroïdes
(9931) Herbhauptman est un astéroïde de la ceinture principale.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/(9931)_Herbhauptman
Lien Wikidata : https://www.wikidata.org/wiki/Q638720
