des capteurs de température dans les mines de charbon