X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/020defdbb2ac938563eba1071c78520973093e4b..52b5aa442f61f15f582a3412a4a283118e812859:/15TSI.tex

diff --git a/15TSI.tex b/15TSI.tex
index 76e0203..f2fe17b 100644
--- a/15TSI.tex
+++ b/15TSI.tex
@@ -8,7 +8,7 @@ On reprend ici le même plan que dans la section précédente.
 Dans le schéma généralisé, à la  $t^{\textrm{ème}}$ itération, 
 c'est l'ensemble 
 des $s_{t}^{\textrm{ème}}$ éléments (inclus dans $[n]$) qui 
-sont  mis à jour (c.f. équation~(\ref{eq:schema:generalise})).
+sont  mis à jour (cf. équation~(\ref{eq:schema:generalise})).
 On redéfinit la fonction la fonction
   $F_{f_g}:  \Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, \mathsf{N}\}) 
   \rightarrow \Bool^{\mathsf{N}}$  par
@@ -42,7 +42,7 @@ configurations $x^t$ sont définies par la récurrence
   $X^0=(x^0,S)$ 
   
   
-On onstruit cette fois-ci l'espace 
+On construit cette fois ci l'espace 
 $\mathcal{X}_g = \Bool^{\mathsf{N}} \times
 \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$