jardines exteriores, SAN ILDEFONSO O LA GRANJA