Des pionniers subaquatiques oubliés — Gérard Loridon