Le directeur des équipements et des constructions au ministère de l'éducation, le directeur général des collectivités locales au ministère de l'intérieur et le directeur du budget au ministère de l'économie et des finances sont chargés de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.