X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/beb8d60ba6a439d6c62b04baed82daeae79645bb..86be95127ca8ca59052d395b45375110b70cbf17:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index fbc54a2..136be90 100755
--- a/main.tex
+++ b/main.tex
@@ -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}