Pierre Gassendi explorateur des sciences : catalogue de l'exposition, quatrième centenaire de la naissance de Pierre Gassendi, Musée de Digne, 19 mai au 18 octobre 1992 / Anthony Turner ; avec la contribution de Nadine Gomez ; préface de Tullio Grégory