la fabrication du coke à partir de charbon