X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/416d383eafc79d519cc2910697507e81bdc0d3c7..d69000ebda300fc836232f34cebb88ddfce4ac98:/preuveDistanceGeneralisee.tex

diff --git a/preuveDistanceGeneralisee.tex b/preuveDistanceGeneralisee.tex
index 9b7f3b6..c8a6c5c 100644
--- a/preuveDistanceGeneralisee.tex
+++ b/preuveDistanceGeneralisee.tex
@@ -3,7 +3,8 @@ on dÃ©finit
 \[
 \displaystyle{d_S(S,S')=\frac{9}{{\mathsf{N}}}\sum_{t\in\Nats}\frac{|S_t \Delta S'_t|}{10^{t+1}}}.
 \]
-Montrons que $d_S$ est une distance sur $\mathcal{P}(\{1, \ldots, {\mathsf{N}}\})$.
+Montrons que $d_S$ est une distance sur $\mathcal{P}(\{1, \ldots, {\mathsf{N}}\})$ et ainsi 
+que $d$ dÃ©finie Ã  l'equation~(\ref{eq:distance:Xg}) est une distance.
 
 
 
