GASSEND, Pierre, genannt Gassendi