Le directeur des affaires maritimes et le directeur des libertés publiques et des affaires juridiques sont chargés, chacun pour ce qui le concerne, de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.