Estanque de los Baños de Diana, SAN ILDEFONSO O LA GRANJA