Algérie, la guerre des sigles — Michel Delenclos