fuente de los tritones, SAN ILDEFONSO O LA GRANJA