-\newtheorem{Def}{\underline{Définition}}
-\newtheorem{Lemma}{\underline{Lemme}}
-\newtheorem{Theo}{\underline{Théorème}}
+\newtheorem{Def}{\underline{Definition}}
+\newtheorem{Lemma}{\underline{Lemma}}
+\newtheorem{Theo}{\underline{Theorem}}
% \theoremheaderfont{\sc}
% \theorembodyfont{\upshape}
% \theoremstyle{nonumberplain}
% \theoremseparator{}
% \theoremsymbol{\rule{1ex}{1ex}}
% \theoremheaderfont{\sc}
% \theorembodyfont{\upshape}
% \theoremstyle{nonumberplain}
% \theoremseparator{}
% \theoremsymbol{\rule{1ex}{1ex}}
\newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
%\newcommand{\ie}{\textit{i.e.}}
\newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
%\newcommand{\ie}{\textit{i.e.}}
\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).
\section{Quality study of the strategy}
%6) Se pose alors la question de comment générer une stratégie de "bonne qualité". Par exemple, combien de générateurs aléatoires embarquer ? (nouveau)
\section{Quality study of the strategy}
%6) Se pose alors la question de comment générer une stratégie de "bonne qualité". Par exemple, combien de générateurs aléatoires embarquer ? (nouveau)