Pino muy alto, SAN ILDEFONSO O LA GRANJA