Article (Décret no 92-1164 du 22 octobre 1992 complétant le règlement général des industries extractives institué par décret no 80-331 du 7 mai 1980 modifié)
Art. 5. - Le ministre de l'industrie 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.