Notice sur l'église de Digne — Pierre Gassendi