En ce temps-là, l'Algérie c'était la France