Pacification in Algeria, 1956-1958