Palacio Real y jardines de San Ildefonso, SAN ILDEFONSO O LA GRANJA