Gisement, extraction et exploitation des mines de houille — Charles Demanet