Article (Décret no 94-449 du 31 mai 1994 modifiant le décret no 88-507 du 29 avril 1988 portant création et statut particulier du corps des ingénieurs de l'industrie et des mines)
Art. 13. - Le ministre de l'industrie, des postes et télécommunications et du commerce extérieur, le ministre du budget, porte-parole du Gouvernement,
et le ministre de la fonction publique sont chargés, chacun en ce qui le concerne, de l'exécution du présent décret, qui sera publié au Journal officiel de la République française et qui prend effet au 1er août 1993.