tuyau hydraulique utilisé dans les mines de charbon