GASSENDUS, Petrus