Décret du 12 juillet 2019 portant nomination du directeur général du service hydrographique et océanographique de la marine – M. KERLÉGUER (Laurent)