\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}}\})$ et ainsi
-que $d$ définie à l'equation~(\ref{eq:distance:Xg}) est une distance.
+que $d$ définie à l'équation~(\ref{eq:distance:Xg}) est une distance.