Le ministre de la production industrielle, le ministre de l'économie nationale, le ministre des finances et le ministre du travail sont chargés de l'exécution du présent décret, qui sera publié au Journal officiel de la République française.