Le Premier ministre, Sur le rapport du ministre de l'industrie, des postes et télécommunications et du commerce extérieur, Vu le code minier, ensemble les textes pris pour son application et, notamment, le décret n° 80-331 du 7 mai 1980 modifié instituant le règlement général des industries extractives ; Vu l'avis du Conseil général des mines en date du 19 juillet 1993,
Par le Premier ministre :
Édouard Balladur.
Le ministre de l'industrie, des postes et télécommunications et du commerce extérieur,
Gérard Longuet.