Fin de la guerre d'Algérie après la signature des accords d'Evian