La porte de San Ildefonso est une des anciennes portes de la mosquée contruite
sous le règne de al-Hakam II et restaurée par Velázquez Bosco. On l'appelle aussi Puerta de la ampliación
de al-Hakam II.
Photos : copyright France Demarbaix - Toute reproduction interdite - Tous droits réservés
