Văn bản này: San Ildefonso de Toledo y su significado en la época.