Décret n° 80-331 du 7 mai 1980 portant règlement général des industries extractives