Un diamant rose vendu pour 71,2 M de dollars, un record mondial