Fuente de los baños de Diana, SAN ILDEFONSO O LA GRANJA