Arrêté du 21/12/07 fixant la liste des installations et équipements de surveillance et de prévention des risques miniers gérées par le BRGM