1, Introduction; 2, Langage et sémantique; 3, Axiomatique; 4, Mise en forme normale; 5, Correction et complétude; 6, Déduction automatique dans ASSUME; 7, La représentation du changement dans ASSUME; 8, Discussion.