Gran Seto, SAN ILDEFONSO O LA GRANJA