Jardín la Granja, SAN ILDEFONSO O LA GRANJA