l'instrumentation de process dans les mines de charbon