+Let $(X_t)_{t\in \mathbb{N}}$ be a sequence of $\Bool^n$ valued random
+variables. A $\mathbb{N}$-valued random variable $\tau$ is a {\it stopping
+ time} for the sequence $(X_i)$ if for each $t$ there exists $B_t\subseteq
+(\Bool^n)^{t+1}$ such that $\{\tau=t\}=\{(X_0,X_1,\ldots,X_t)\in B_t\}$.
+In other words, the event $\{\tau = t \}$ only depends on the values of
+$(X_0,X_1,\ldots,X_t)$, not on $X_k$ with $k > t$.
+
+
+\JFC{Je ne comprends pas la definition de randomized stopping time, Peut-on enrichir ?}
+
+Let $(X_t)_{t\in \mathbb{N}}$ be a Markov chain and $f(X_{t-1},Z_t)$ a
+random mapping representation of the Markov chain. A {\it randomized
+ stopping time} for the Markov chain is a stopping time for
+$(Z_t)_{t\in\mathbb{N}}$. If the Markov chain is irreducible and has $\pi$
+as stationary distribution, then a {\it stationary time} $\tau$ is a
+randomized stopping time (possibly depending on the starting position $X$),
+such that the distribution of $X_\tau$ is $\pi$:
+$$\P_X(X_\tau=Y)=\pi(Y).$$
+
+
+\JFC{Ou ceci a-t-il ete prouvé. On ne définit pas ce qu'est un strong stationary time.}
+\begin{Theo}
+If $\tau$ is a strong stationary time, then $d(t)\leq \max_{X\in\Bool^n}
+\P_X(\tau > t)$.
+\end{Theo}
