\usepackage[polutonikogreek,russian,francais]{babel}
%\usepackage[francais]{babel}
\PrerenderUnicode{ÉéèêôÔàâïî} %Problème de la SMF dans les titres
%\usepackage{aeguill}
%\def«{\og}
%\def»{\fg}
%\usepackage[T1]{fontenc}
%\usepackage{lmodern}

% changement prp -> prop ; thm -> th etc. Cf. Bourbaki.


% lemmes
\newtheorem{lemme}[subsection]{Lemme}		% Lemme 1.1
\newtheorem{lemme2}[subsubsection]{Lemme}	% Lemme 2.3.4
\newtheorem{lemme3}[paragraph]{Lemme}		% Lemme 4.5.6.7
\newtheorem*{lemme0}{Lemme}			% Lemme


% propositions
\newtheorem{proposition}[subsection]{Proposition}	% Proposition 1.1 etc. (\begin{prop} ne semble pas possible)
\newtheorem{proposition2}[subsubsection]{Proposition}
\newtheorem{proposition3}[paragraph]{Proposition}

% théorèmes
\newtheorem{theoreme}[subsection]{Th\'eor\`eme}
\newtheorem{theoreme2}[subsubsection]{Th\'eor\`eme}
\newtheorem{theoreme3}[paragraph]{Th\'eor\`eme}

\newtheorem{théorème}[subsection]{Th\'eor\`eme}
\newtheorem{théorème2}[subsubsection]{Th\'eor\`eme}
\newtheorem{théorème3}[paragraph]{Th\'eor\`eme}

% corollaires
\newtheorem{corollaire}[subsection]{Corollaire}
\newtheorem{corollaire2}[subsubsection]{Corollaire}
\newtheorem{corollaire3}[paragraph]{Corollaire}

% définitions
\theoremstyle{definition}
\newtheorem{definition}[subsection]{D\'efinition}
\newtheorem{definition2}[subsubsection]{D\'efinition}
\newtheorem{definition3}[paragraph]{D\'efinition}
\newtheorem{définition}[subsection]{D\'efinition}
\newtheorem{définition2}[subsubsection]{D\'efinition}
\newtheorem{définition3}[paragraph]{D\'efinition}

\newtheorem{definitionrestreinte}[subsection]{D\'efinition restreinte}
\newtheorem{definitionrestreinte2}[subsubsection]{D\'efinition restreinte}
\newtheorem{definitionrestreinte3}[paragraph]{D\'efinition restreinte}
\newtheorem{définitionrestreinte}[subsection]{D\'efinition restreinte}
\newtheorem{définitionrestreinte2}[subsubsection]{D\'efinition restreinte}
\newtheorem{définitionrestreinte3}[paragraph]{D\'efinition restreinte}



% autres 
\newtheorem{remarque}[subsection]{Remarque}
\newtheorem{remarque2}[subsubsection]{Remarque}
\newtheorem{remarque3}[paragraph]{Remarque}
\newtheorem{remarques}[subsection]{Remarques}
\newtheorem{remarques2}[subsubsection]{Remarques}
\newtheorem{remarques3}[paragraph]{Remarques}





\newtheorem{sslemme}[subsection]{Sous-lemme}
\newtheorem{sslemme2}[subsubsection]{Sous-lemme}
\newtheorem{sslemme3}[paragraph]{Sous-lemme}
\newtheorem{sous-lemme}[subsection]{Sous-lemme}
\newtheorem{sous-lemme2}[subsubsection]{Sous-lemme}
\newtheorem{sous-lemme3}[paragraph]{Sous-lemme}
 



\newtheorem{conjecture}[subsection]{Conjecture}
\newtheorem{conjecture2}[subsubsection]{Conjecture}
\newtheorem{conjecture3}[paragraph]{Conjecture}

\newtheorem{exercice}[subsection]{Exercice}
\newtheorem{exercice2}[subsubsection]{Exercice}
\newtheorem{exercice3}[paragraph]{Exercice}
                                                                                                                                           
\newtheorem{exemple}[subsection]{Exemple}
\newtheorem{exemple2}[subsubsection]{Exemple}
\newtheorem{exemple3}[paragraph]{Exemple}
\newtheorem{exemples}[subsection]{Exemples}
\newtheorem{exemples2}[subsubsection]{Exemples}
\newtheorem{exemples3}[paragraph]{Exemples}

\newtheorem{variante}[subsection]{Variante}
\newtheorem{variante2}[subsubsection]{Variante}
\newtheorem{variante3}[paragraph]{Variante}

\newtheorem{question}[subsection]{Question}
\newtheorem{question2}[subsubsection]{Question}
\newtheorem{question3}[paragraph]{Question}

\newtheorem{convention}[subsection]{Convention}
\newtheorem{convention2}[subsubsection]{Convention}
\newtheorem{convention3}[paragraph]{Convention}

\newtheorem{conventionrestreinte}[subsection]{Convention restreinte}
\newtheorem{conventionrestreinte2}[subsubsection]{Convention restreinte}
\newtheorem{conventionrestreinte3}[paragraph]{Convention restreinte}

\newtheorem{miseengarde}[subsection]{Mise en garde}
\newtheorem{miseengarde2}[subsubsection]{Mise en garde}
\newtheorem{miseengarde3}[paragraph]{Mise en garde}


%% version précédente

\newtheorem{prpnn}{Proposition}
\newtheorem{prp}[subsection]{Proposition} %mettre subsubsection partout si on veut du 1.2.3 et non 1.2 seulement ; idem pour les equations
\newtheorem{prop3}[paragraph]{Proposition}
\newtheorem{prp3}[paragraph]{Proposition}
%\newtheorem{lmm3}[paragraph]{Lemme}
\newtheorem{prp2}[subsubsection]{Proposition}
\newtheorem{prop2}[subsubsection]{Proposition}
\newtheorem{thm}[subsection]{Th\'eor\`eme}
%\newtheorem{th}[subsection]{Th\'eor\`eme}
%\newtheorem{thm-sn}{Théorème}
% marche pas pour ne pas avoir de numéro...
\newtheorem{thm2}[subsubsection]{Th\'eor\`eme}
\newtheorem{th2}[subsubsection]{Th\'eor\`eme}
\newtheorem{constr2}[subsubsection]{Construction}
\newtheorem{constr}[subsection]{Construction}
\newtheorem{constr3}[paragraph]{Construction}
\newtheorem{thm3}[paragraph]{Th\'eor\`eme}
\newtheorem{th3}[paragraph]{Th\'eor\`eme}
\newtheorem{lmm}[subsection]{Lemme}
\newtheorem{lmm2}[subsubsection]{Lemme}
\newtheorem{lmm3}[paragraph]{Lemme}
\newtheorem{crl3}[paragraph]{Corollaire}
\newtheorem{rmr3}[paragraph]{Remarque}
\newtheorem{exm3}[paragraph]{Exemple}
\newtheorem{exo3}[paragraph]{Exercice}
\newtheorem{cor3}[paragraph]{Corollaire}
\newtheorem{sslmm2}[subsubsection]{Sous-lemme}
\newtheorem{sslmm}[subsection]{Sous-lemme}
\newtheorem{cnj}[subsection]{Conjecture}
\newtheorem{crl}[subsection]{Corollaire}
\newtheorem{cor}[subsection]{Corollaire}
\newtheorem{crl2}[subsubsection]{Corollaire}
\newtheorem{cor2}[subsubsection]{Corollaire}

\theoremstyle{definition}
\newtheorem{dfn}[subsection]{D\'efinition}
\newtheorem{dfn2}[subsubsection]{D\'efinition}
%impossible car def déjà défini
\newtheorem{déf}[subsection]{D\'efinition}
\newtheorem{déf2}[subsubsection]{D\'efinition}
\newtheorem{déf3}[paragraph]{Définition}
\newtheorem{definitionprov}{D\'efinition Provisoire}
\newtheorem{exm}[subsection]{Exemple}
\newtheorem{rmr}[subsection]{Remarque}
\newtheorem{rmr2}[subsubsection]{Remarque}
\newtheorem{exms}[subsection]{Exemples}
\newtheorem{rmrs}[subsection]{Remarques}
\newtheorem{rmrs2}[subsubsection]{Remarques}
\newtheorem{exm2}[subsubsection]{Exemple}
\newtheorem{exms2}[subsubsection]{Exemples}
\newtheorem{exo2}[subsubsection]{Exercice}