matériel utilisé dans les mines de diamant