Gassendi crater, Conrado Serodio