Algérie, une guerre française