Arrêté du 5 décembre 2019 portant nomination du directeur général adjoint du service hydrographique et océanographique de la marine (SHOM)