fin de la guerre d'algérie