Mare Humorum, Gassendi, RĂ¼diger Arndt