roches et de gravats produits lors de l'écrasement et l'exploitation minière