Jardines del palacio, SAN ILDEFONSO O LA GRANJA