Un diamant rose gros comme une prune, le "Pink Star", a battu le record mondial pour une pierre vendue aux enchères, atteignant mardi 71,2 millions de dollars à Hong Kong.