Les explorations sous-marines, hydrographie, appareils de sondage, le sol sous-marin, etc — Jules Girard