entretien en temps opportun des equipements miniers