Visitor

Views

TP : Sémantique et Logique de Hoare

invariant de boucle exercice corrigé