Le règlement général des industries extractives ne fait pas obstacle aux mesures qui peuvent être ordonnées soit par le préfet en application de l'article 84 du code minier, soit, en cas de danger imminent, par le directeur régional de l'industrie, de la recherche et de l'environnement ou son délégué en application du code minier et du décret relatif à la police des mines et des carrières, soit par le préfet maritime en application du décret n° 78-272 du 9 mars 1978 relatif à l'organisation des actions de l'Etat en mer.