capteurs de temperature dans les mines de charbon