Portada de la iglesia de Pío XII, SAN ILDEFONSO O LA GRANJA