Documentation
Concepts : expression d’un algorithme, analyse de l’exécution, preuve
Mis à jour le  12 novembre 2019