X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..dd837d463f86ebb399eb1cac274139e98815fdd1:/12TIPE.tex?ds=sidebyside

diff --git a/12TIPE.tex b/12TIPE.tex
index 4f9fa9b..4cbc26d 100644
--- a/12TIPE.tex
+++ b/12TIPE.tex
@@ -33,9 +33,10 @@ $\mathcal{X}_u =
 et la fonction d'iteration $G_{f_u}$ définie  de 
 $\mathcal{X}_u$ 
 dans lui-même par 
-\[
+\begin{equation}
 G_{f_u}(x,s)=(F_{f_u}(x,s_0),\sigma(s)).
-\] 
+\label{eq:sch:unaire}
+\end{equation}
 
 Dans cette définition, la fonction 
 $\sigma: \llbracket1;{\mathsf{N}}\rrbracket^{\Nats} \longrightarrow