le processus de méthanogenèse dans une mine de charbon