diff --git a/algorithmique/cours/annexes/surete.txt b/algorithmique/cours/annexes/surete.txt
index 2b275f0..44da9b7 100644
--- a/algorithmique/cours/annexes/surete.txt
+++ b/algorithmique/cours/annexes/surete.txt
@@ -1,4 +1,4 @@
-Autres outils de sureté d'un programme
+Outils de sureté d'un programme
 --------------------------------------
 
 La preuve de programme
diff --git a/algorithmique/cours/modules.txt b/algorithmique/cours/modules.txt
index 53f30da..5df4b5e 100644
--- a/algorithmique/cours/modules.txt
+++ b/algorithmique/cours/modules.txt
@@ -16,6 +16,11 @@ interface
     mode d’emploi du module, avec en plus un principe de masquage
     des informations (partie publique, partie secrète)
 
+
+Signatures, type abstrait et langage de modules : la programmation modulaire 
+permet d'aller très loin dans la programmation structurée.
+
+
 Définir des fonctions dans un fichier séparé
 --------------------------------------------
 
@@ -242,9 +247,6 @@ obtenir un nouveau module :
     module M = F (Titi) (Toto)
 
 
-Signatures, type abstrait et langage de modules
-=================================================
-
 Contrainte de type par signature
 ------------------------------------