christ3.tex

\newtheorem{ppte}{Propri\'et\'e}
\newtheorem{theo}{Th\'eor\`eme}
\newtheorem{defi}{D\'efinition}
\newtheorem{lemme}{Lemme}
\newtheorem{coro}{Corollaire}
\newtheorem{prop}{Proposition}
\newtheorem{reg}{Règle}
 
\newcommand{\rema}{\underline{Remarque}}
\newcommand{\exe}{\underline{Exemple}}
\newcommand{\pre}{\underline{Preuve}}
\newcommand{\cas}{\underline{Cas particulier}}
\newcommand{\cass}{\underline{Cas particuliers}}
\newcommand{\Not}{\underline{Notation}}
\newcommand{\Si}{\underline{Si} }
\newcommand{\alors}{\underline{alors} }
\newcommand{\cons}{\underline{Conséquence}}
 
\def\qed{\hfill\raise -2pt\hbox{\vrule\vbox to 10pt{\hrule width4pt\vfill\hrule}\vrule}}
\def\cqfd{\hfill\unskip\kern 6pt\penalty 500\qed\par}
\def\tvi{\vrule height 12pt depth 5pt width 0pt}
\def\hfq{\hfill\quad}
\def\cc #1{\hfq #1\hfq}
\def\tv{\tvi\vrule}
\def\tvj{\vrule height 12pt depth 5pt width 1pt}
\def\tw{\tvj\vrule}
\def\traithorizontal{\noalign{\hrule}}
\def\traithorizontale{\noalign{\hrule height 1pt}}
 
\catcode`\@=11
\def\Eqalign#1{\null\,\vcenter{\openup\jot\m@th\ialign{
\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil
&&\quad\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$
\hfil\crcr #1\crcr}}\,}
\catcode`\@=12
 
\newcommand{\vecteur}[1]
{\overrightarrow{#1}}
 
\newcommand{\guig}[1]
{
\begin{guillemets}
{#1}
\end{guillemets}
}
 
\font\tenbb=msbm10
\font\sevenbb=msbm7
\font\fivebb=msbm5
\newfam\bbfam
\textfont\bbfam=\tenbb
\scriptfont\bbfam=\sevenbb
\scriptscriptfont\bbfam=\fivebb
\def\bb{\fam\bbfam\tenbb}
\let\oldbb=\bb
\def\bb #1{{\oldbb #1}}