next up previous contents
suivant: Exemple du pgcd monter: Programmer avec des invariants précédent: Programmer avec des invariants   Table des matières

Introduction


Sous-sections
Hugues FAUCONNIER 2003-01-09