Dictionnaire de l'astronomie et de l'espace — Philippe de La Cotardière, Jean-Pierre Penot