Paseo de los jardines, SAN ILDEFONSO O LA GRANJA