relatives au renforcement des mines de charbon