la production mondiale de diamants bruts atteindra un pic en 2019