la production de charbon francais