entretien quotidien pour une installation minière