Plus de 18,7 millions pour un diamant