Exercice : La bonne condition d'arrêt