La pompe à boue : un outil essentiel dans le secteur minier