Patio de la Basílica de San Isidoro, en la Plaza de Santo Martino