Terminaison et Invariant de boucle - Algorithmique

1ère NSI Notion de terminaison d'un algorithme Conditions à respecter pour avoir une terminaison d'un algorithme, en particulier avec les boucles While Notion d'invariant de boucle Démonstration par récurrence de la vérification d'un invariant de boucle Exemples avec Python