exploitation minière ⛏️fin décembre 20