le processus de méthanisation dans une mine de charbon