Sur l'ensemble de l'énergie utilisée dans le monde, quelle proportion provient du gaz naturel, du charbon et du pétrole ?