Muralla y jardines del Redín, PAMPLONA