Machines hydrauliques utilisées dans les mines