(6133) Royaldutchastro

astre astéroïde de la ceinture principale d'astéroïdes

Aussi : (6133) 1990 RC3

(6133) Royaldutchastro est un astéroïde de la ceinture principale. — Wikipédia (CC BY-SA)