gas drainage

[معدن] گاززدایی (تهویه)