Art. 9. Le présent arrêté sera publié au Journal officiel de la République française.