Una de las fuentes del jardín, SAN ILDEFONSO O LA GRANJA