exploitation minière de carrière appelée