theorie de l'exploitation souterraine du charbon