machines utilisés dans les mines de diamant