F. LEPRINCE RINGUET. (1935). Les gaz dégagés par les exploitations minérales