gás de coque, gás de coqueria (cat. nominal)
definição: combustível gasoso, rico em monóxido de carbono e em hidrogénio, subproduto da produção de coque