le controle des techniques de l'extraction du charbon