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