le processus d'emission de gaz dans une mine de charbon