1.2 Terminaison et invariant de boucle

Capsule vidéo résumant la notion de terminaison d’un algorithme et la notion d’invariant de boulce.