Vie de Pierre Gassendi, prévôt de l'Église de Digne et professeur de mathématiques au Collége royal