coke \kɔk\ masculin (Pétrographie) Charbon de terre dégagé, par la distillation, des substances fluides et gazeuses qu’il contenait.Il y a lieu de remarquer que le coke lavé peut, pour certaines provenances, apporter dans le haut-fourneau ou dans le cubilot des fondeurs, plus de soufre et de phosphore que la des cokes même très cendreux, des cokeries minières françaises.
