Arrêté du 16/05/13 modifiant l'arrêté du 21 décembre 2007 fixant la liste des installations et équipements de surveillance et de prévention des risques miniers gérés par le BRGM