Le directeur des ports maritimes et des voies navigables, le directeur général du commerce intérieur et des prix, le directeur du budget, et le directeur général du travail et de l'emploi 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.