\input{stopping}
% Donner la borne du stopping time quand on marche dedans (nouveau).
% Énoncer le problème de la taille de cette borne (elle est certes finie, mais grande).
\input{stopping}
% Donner la borne du stopping time quand on marche dedans (nouveau).
% Énoncer le problème de la taille de cette borne (elle est certes finie, mais grande).