1 Exercice (4pts) - LaBRI

3 janv. 2012 ... Le sujet comporte 3 pages (annexe comprise). .... Proposer une post-condition et
un invariant de boucle utile pour prouver votre affirmation.

Part of the document