fachada central de la basílica, SAN ILDEFONSO O LA GRANJA