Si Salah was executed on Boumedienne's orders, not by a French patrol. [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: The book updates its earlier account (p. 393). Worth clarifying whether the execution narrative is now firm or still contested historically.
Horne, Alistair, A Savage War of Peace- Alge…, loc. 1222