Une bague sertie de 12 638 diamants entre dans le Guinness mondial des records