Gestion quantitative dans l exploitation minière