Gassendi, Pierre (1592 - 1655)