Grubengas

== Allemand == === Étymologie === Composé de Grube (« mine ») et de Gas (« gaz »). === Nom commun === Grubengas \Prononciation ?\ neutre (Industrie minière) Grisou. ==== Synonymes ==== Schlagwetter ==== Hyperonymes ==== Methan === Voir aussi === Grubengas sur l’encyclopédie Wikipédia (en allemand)