Boumedienne ordered the execution of Si Salah in 1962. [fact]
It is now accepted that, in the first place, the grievances of Si Salah and Wilaya 4 against Boumedienne's “exterior” were real indeed. Secondly, Si Salah on his return from Paris was not (as surmised on p. 393) killed by a French patrol. Instead it appears that, after spending nearly a whole year in semi-captivity, Si Salah was executed on the orders of Boumedienne and the G.P.R.A. As of 1984, the official view of Si Salah seems to be an essentially tragic one; he had breached discipline in treating with the French, but was no traitor — simply a victim of the wiles of de Gaulle at his most Machiavellian.
QUESTION: This corrects an earlier surmise in the source (p. 393). Worth chasing how subsequent historical work has refined or revised this account.
Horne, Alistair, A Savage War of Peace- Alge…, loc. 1222