Avec presque 9 milliards de tonnes, la consommation mondiale de charbon atteint un nouveau record en 2025