terminaison d’un algorithme