Procédé pour doser les hydrocarbures et en particulier le grisou dans les mines / par M. J. Coquillion