diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index bb94c53b..2d9376a2 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -51,6 +51,9 @@ aliases:
 > On peut également produire une définition "par le bas", en construisant d'abord l'ensemble $R_0$ contenant les fonctions constantes, projections et successeur, puis en posant pour tout $n \in \mathbb{N}$ :
 > $\begin{align} R_{n+1} = R_{n} &\cup \{ h \mid h \text{ est obtenue par récurrence à partir de deux fonctions de } R_{n} \}\\ &\cup \{ h \mid h \text{ est obtenue par composition de deux fonctions de } R_{n} \} \end{align}$
 
+> [!info] Montrer une propriété des fonctions récursives primitives
+>  - on peut montrer que cette propriété $\mathscr{P}$ est vraie sur les fonctions constantes, projections et successeur, puis montrer que $\mathscr{P}$ est stable
+>  - 
 
 # Propriétés