resumes retraités

[hdrcouchot.git] / annexePreuveMarquageCorrectioncompletude.tex

diff --git a/annexePreuveMarquageCorrectioncompletude.tex b/annexePreuveMarquageCorrectioncompletude.tex
index 76e6e5ce1e18e717273d2ef3a251bfea08fc759e..287cf09d8592ff67398f6896364d27ceb75ce3fe 100644 (file)
--- 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$.
 
 
 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 à 
 $(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$,
 
 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}
 
 Ainsi, $m_j$ n'est pas présent dans $x^l$ et le message ne peut pas extrait.
 \end{proof}