Allemand modifier

Étymologie modifier

Composé de Grube (« mine ») et de Gas (« gaz »).

Nom commun modifier

Grubengas \Prononciation ?\ neutre

  1. (Industrie minière) Grisou.

Synonymes modifier

Hyperonymes modifier

Voir aussi modifier

  • Grubengas sur l’encyclopédie Wikipédia (en allemand)