IFPI estima en 12.513 millones de euros las ventas mundiales de discos en 2007