Art. 4. - Le directeur de l'administration générale, du personnel et du budget au ministère du travail et des affaires sociales et le directeur général de l'Etablissement français des greffes 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.