astre
astéroïde de la ceinture principale d'astéroïdes
(4262) DeVorkin est un astéroïde de la ceinture principale.