Dictionnaire de l'astronomie - Muller, Paul (Les dictionnaires de l'homme du XXe Si`ecle, 1966)