Fuente de las ranas, SAN ILDEFONSO O LA GRANJA