Risques miniers Importance capitale pour évaluer et gérer les dangers potentiels liés aux anciennes exploitations minières