From 1d7737587810169db0f2fbba0979555faf45dedc Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Thu, 5 Feb 2026 10:15:12 +0100
Subject: [PATCH] eduroam-prg-sg-1-47-33.net.univ-paris-diderot.fr
 2026-2-5:10:15:11

---
 fonction récursive primitive.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index 04f310cc..8ab11c7a 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -28,7 +28,7 @@ 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}$ 
 > 
 ^definition