Finie, la guerre d'Algérie ?