les machines minières nécessaires pour extraire