Vies de Tycho Brahe, Copernic, Peurbach et Régiomontanus — Pierre Gassendi