fuente de los tritoncillos, SAN ILDEFONSO O LA GRANJA