Text this: Supplément au traité de l´exploitation des mines de houille