pgcd, euclide,...

[cours-maths-dis.git] / main.tex

diff --git a/main.tex b/main.tex
index fbc54a2d731d7384c3acc4338a6d89f12ff1ce49..136be90c0be56d5b419657fe7d3767ba72fe24a1 100755 (executable)
--- 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}