Les étoiles recensées par le satellite d'astrométrie Hipparcos.