Histoire de l'Algérie coloniale (1830-1954)