semi-coke, semi-cokes nom masculin Produit de la distillation de la houille à basse température (550 °C environ), intermédiaire entre la houille et le coke.