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