Fuentes de la granja de San Ildefonso, precioso espectáculo de agua, SAN ILDEFONSO O LA GRANJA