Décret no 92-717 du 23 juillet 1992 complétant le règlement — Décret no 92-717 du 23 juillet 1992 complétant le règlement général des industries extractives institué par le décret no 80-331 du 7 mai 1980 modifié