L'astronomie en France au dix-septième siècle — Pierre Humbert