diff --git a/algorithmique/cours/algo.txt b/algorithmique/cours/algo.txt
index 9c26138..c2f8ed7 100644
--- a/algorithmique/cours/algo.txt
+++ b/algorithmique/cours/algo.txt
@@ -189,8 +189,7 @@ Proposition
 
 Prédicats
 
-	Définition : Une proposition dont la valeur de vérité dépend de la valeur
-    d’une ou plusieurs variables
+    Une proposition dont la valeur de vérité dépend de la valeur d’une ou plusieurs variables
 
 **Exemple** : ``n est pair`` : vrai pour n = 4 mais faux pour n = 9
 
diff --git a/algorithmique/cours/annexes/exercices.txt b/algorithmique/cours/annexes/exercices.txt
index 22f6047..1597a02 100644
--- a/algorithmique/cours/annexes/exercices.txt
+++ b/algorithmique/cours/annexes/exercices.txt
@@ -3,7 +3,7 @@ Exercices complémentaires
 
 + **Manipulation de chaînes de caractères**:
      (création, accès à un caractère, concaténation), listes (création, ajout
-    d’un élément, suppression d’un élément, accès à un élément, extraction d’une partie de liste), tableaux à une ou plusieurs dimensions.
+     d’un élément, suppression d’un élément, accès à un élément, extraction d’une partie de liste), tableaux à une ou plusieurs dimensions.
 
     + traitement des chaines de caractères
         + s.replace()
diff --git a/algorithmique/cours/fondement.txt b/algorithmique/cours/fondement.txt
index 4015ad4..874365c 100644
--- a/algorithmique/cours/fondement.txt
+++ b/algorithmique/cours/fondement.txt
@@ -151,8 +151,8 @@ Compilateur
 -----------
 
 Schématiquement, un compilateur est un programme qui traduit un
-programme  d’un langage source vers un langage cible, en signalant
-d’éventuelles erreurs
+programme d’un langage source vers un langage cible, en signalant
+d’éventuelles erreurs.
 
 Quand on parle de compilation, on pense typiquement à la traduction d’un
 langage de haut niveau (C, Java, Caml, ...) vers le langage machine d’un