Le directeur du personnel militaire de la marine est chargé de l'exécution du présent arrêté qui sera publié au Bulletin officiel des armées.