X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/523864c862215a63c5133568a9771f5b8f60c89e..refs/heads/master:/annexePreuveMarquageCorrectioncompletude.tex

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}