arcada lateral basilica de san ildefonso