dernière exploitation minière de charbon et de roche dure