Livre des docks et des bassins — France. Service hydrographique et océanographique de la marine