X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/ad103e4d816573cfd8e1112af9ecab55f13bb78c..2497abf60b295bb735ed64cd2f2f16f0c8b82413:/main.tex

diff --git a/main.tex b/main.tex
index 2bcee48..136be90 100755
--- a/main.tex
+++ b/main.tex
@@ -7,7 +7,7 @@
 \usepackage{amsfonts}
 \usepackage{amssymb}
 \usepackage{optional}
-\usepackage{enumitem}
+%\usepackage{enumitem}
 \usepackage{framed}
 \usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
 \usepackage[dvips]{graphics}
@@ -79,7 +79,6 @@
 \theoremstyle{plain}
 \theoremheaderfont{\normalfont\bfseries\sc}
 \theorembodyfont{\slshape}
-\theoremsymbol{\ensuremath{\diamondsuit}}
 \theoremprework{\bigskip}
 \theoremseparator{.}
 \newtheorem{Def}{Définition}[chapter]
@@ -119,6 +118,14 @@
 %\newtheorem{Pre}{Preuve}
 
 
+\theoremstyle{plain}
+\theoremheaderfont{\normalfont\sc}
+\theorembodyfont{\slshape}
+\theoremsymbol{$\dagger$}
+\theoremprework{\medskip}
+%\theorempostwork{}
+\theoremseparator{. }
+\newtheorem{Proof}{Preuve}%[chapter]
 
 
 \theoremstyle{plain}
@@ -127,7 +134,7 @@
 \theoremsymbol{$\dagger$}
 \theoremprework{\medskip}
 %\theorempostwork{}
-\theoremseparator{ :}
+\theoremseparator{. }
 \newtheorem{Pre}{Preuve}%[chapter]
 
 
@@ -137,11 +144,6 @@
 \theoremnumbering{greek}
 \newtheorem{Lemma}{Lemme}[chapter]
 
-\theoremheaderfont{\sc}\theorembodyfont{\upshape}
-\theoremstyle{nonumberplain}
-\theoremseparator{}
-\theoremsymbol{\rule{1ex}{1ex}}
-\newtheorem{Proof}{Preuve}[chapter]
 
 
 \theoremstyle{plain}
@@ -154,8 +156,8 @@
 
 \def\Qu{\begin{center}-----------------------------------\end{center}\begin{Qq}}
 \def\finQu{\end{Qq}}
-\def\Rep{\itshape\begin{enumerate}}
-\def\finRep{\end{enumerate}\upshape}
+%\def\Rep{\itshape\begin{enumeate}}
+%\def\finRep{\end{enumerate}\upshape}
 
 
 
@@ -225,7 +227,7 @@ showstringspaces=false}     % no special string spaces
 
 
 
-\include{Remerciements}
+%\include{Remerciements}
 
 \part{Théorie des ensembles}