diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index f6f9289f..f40147ba 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -171,6 +171,7 @@ Dans cette section, on démontre que quelques fonctions élémentaires sont réc
 > Alors la fonction $\lambda x_1 x_2\dots x_{p}. f(x_{\sigma(1)}, x_{\sigma(2)}, \dots, x_{\sigma(p)})$ est aussi récursive primitive
 >  - dem cette fonction est égale à $f(P_{p}^{\sigma(1)}, P_{p}^{\sigma(2)}, \dots, P_{p}^{\sigma(p)})$
 
+
 ## Schémas de définition supplémentaires
 On peut trouver de nouveaux schémas de définitions de fonctions qui sont stables sur les fonctions récursives primitives.