Mare Humorum/Gassendi, ortzemuga