Loi n° 94-588 du 15 juillet 1994 modifiant certaines dispositions du code minier et l'article L. 711-12 du code du travail