Presque 2 500 carats : « l’un des plus gros diamants bruts » du monde découvert dans une mine du Botswana