Title: The selected works of Pierre Gassendi
First published: 1972