Art. 11. - Le décret no 80-330 du 7 mai 1980 relatif à la police des mines et des carrières est abrogé.