comment garder la température dans une mine de charbon cool