Title: Histoire de la Vie et des Écrits de Pierre Gassendi