Chine : la production de charbon en hausse de 6,4% au premier semestre