France and the Algerian war