(11657) Antonhajduk
astre
astéroïde de la ceinture principale d'astéroïdes
(11657) Antonhajduk est un astéroïde de la ceinture principale.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/(11657)_Antonhajduk
Lien Wikidata : https://www.wikidata.org/wiki/Q2626500