institut général de recherche sur les mines de charbon