#+title: Pierre Gassendi