écrits sur l'histoire de l'astronomie
l'expression n'est pas contemporaine à elle-même
Pseudo-Thabit ibn-Qura, traité du mouvement de la huitième sphère, chapitres 6 à 11
Cassini, Ptolémée et la critique du copernicanisme
signification de l'observation de l'équinoxe d'automne de 1655
notes relatives à la signification de l'observation de l'équinoxe d'automne de 1655
origines de la théorie classique de la libration de la Lune
sources et documents pour servir à l'histoire de la théorie de la libration de la Lune
recueil de planches astronomiques
