Udgivelser med Jean Jacques Basilien De Gassendi