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