L'arrivée du roi à l'Escurial (Bande originale du film "La folie des grandeurs")