X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/523864c862215a63c5133568a9771f5b8f60c89e..d33e664452e3655370cbe069e3f6fbd16842c818:/annexePreuveMarquageCorrectioncompletude.tex?ds=inline

diff --git a/annexePreuveMarquageCorrectioncompletude.tex b/annexePreuveMarquageCorrectioncompletude.tex
index 76e6e5c..287cf09 100644
--- a/annexePreuveMarquageCorrectioncompletude.tex
+++ b/annexePreuveMarquageCorrectioncompletude.tex
@@ -11,7 +11,7 @@ Soit $D=\{d_i|i \in \Im(S_p) \}$.
 L'ensemble $\Im(S_c)_{|D}$ est donc la restriction de l'image de $S_c$ Ã  $D$.
 
 
-Le vecteur qui rÃ©sutle de ces itÃ©rations est donc
+Le vecteur qui rÃ©sulte de ces itÃ©rations est donc
 $(x^l_0,\ldots,x^l_{\mathsf{N}-1})$ oÃ¹
 $x^l_i$ est soit  $x^{d_i}_i$ si $i$ appartient Ã  $\Im(S_p)$ ou $x^0_i$ sinon.
 De plus, pour chaque $i \in \Im(S_p)$, l'Ã©lÃ©ment $x^{d_i}_i$ est Ã©gal Ã  
@@ -28,7 +28,7 @@ l'Ã©lÃ©ment $j$ a Ã©tÃ© invoquÃ© avant $d_i-1$.
 
 RÃ©ciproquement, si $\Im(S_c)_{|D} \subsetneq 
 \llbracket 0 ;\mathsf{P} -1 \rrbracket$,
-i lexiste un $j \in \llbracket 0 ;\mathsf{P} -1 \rrbracket$ qui n'appartient pas Ã  $\Im(S_c)_{|\Im(S_p)}$. 
+il existe un $j \in \llbracket 0 ;\mathsf{P} -1 \rrbracket$ qui n'appartient pas Ã  $\Im(S_c)_{|\Im(S_p)}$. 
 Ainsi, $m_j$ n'est pas prÃ©sent dans $x^l$ et le message ne peut pas extrait.
 \end{proof}
 
