Carrières et mines : menace ou opportunité pour la géodiversité ? Une perspective à partir d'exemples dans le Grand Ouest français