Article (Décret no 94-784 du 2 septembre 1994 complétant le règlement général des industries extractives institué par le décret no 80-331 du 7 mai 1980 modifié)
Art. 5. - Le ministre de l'industrie, des postes et télécommunications et du commerce extérieur est chargé de l'exécution du présent décret, qui sera publié au Journal officiel de la République française.