"The Rock", plus gros diamant blanc jamais mis aux enchères, vendu 17,8 millions d'euros, très loin d'un record