Gassendi et Mer des Humeurs, Rémy Mas