Arrêté du 23/12/15 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