Redondeando, ¿qué cantidad, en pesetas, desembolsó el Real Madrid para pagar la cláusula de rescisión de Luis Figo?