Gassendi, Mare Humorum, Marco Gulino