diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index 8ab11c7a..35f0c696 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -28,7 +28,8 @@ aliases:
 > 
 > L'ensemble des **fonctions récursives primitives** est alors le plus petit des sous ensembles $E$ de $\mathscr{F}$ tel que :
 >  - $E$ contient toutes les fonctions constantes de $\mathscr{F}$
->  - $E$ contient toutes les projections $P_{p}^{i}$ 
+>  - $E$ contient toutes les projections $P_{p}^{i}$ pour tous les entiers $p$ et $i$ avec $1 \leq i \leq p$
+>  - 
 > 
 ^definition