Le directeur de la défense et de la sécurité civiles au ministère de l'intérieur et de l'aménagement du territoire, le directeur des services judiciaires, le directeur de l'administration générale et de l'équipement et le directeur général de l'agence de maîtrise d'ouvrage des travaux du ministère de la justice sont chargés, chacun en 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.