ajout fichier pch

[cours-maths-dis.git] / main13.log

diff --git a/main13.log b/main13.log
index ee44dc553f8a7f5502172f94cb034d67811c8988..7d9a72e6568995b45ca14c4a44fe65c840f28ba7 100644 (file)
--- a/main13.log
+++ b/main13.log
@@ -1,12 +1,11 @@
-This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28)  17 OCT 2013 13:42
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13)  24 JAN 2014 11:19

 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.

-**main13
+**main13.tex

 (./main13.tex
 LaTeX2e <2011/06/27>
 (./main13.tex
 LaTeX2e <2011/06/27>

-Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
-aded.
+Babel <3.9f> and hyphenation patterns for 4 languages loaded.

 (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
 (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
 (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
 (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo


@@ -297,7 +296,7 @@ LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty

-Package: amsmath 2000/07/18 v2.13 AMS math features
+Package: amsmath 2013/01/14 v2.14 AMS math features

 \@mathmargin=\skip43
 
 For additional information on amsmath, use the `?' option.
 \@mathmargin=\skip43
 
 For additional information on amsmath, use the `?' option.


@@ -317,20 +316,20 @@ Package: amsbsy 1999/11/29 v1.2d
 Package: amsopn 1999/12/14 v2.01 operator names
 )
 \inf@bad=\count90
 Package: amsopn 1999/12/14 v2.01 operator names
 )
 \inf@bad=\count90

-LaTeX Info: Redefining \frac on input line 211.
+LaTeX Info: Redefining \frac on input line 210.

 \uproot@=\count91
 \leftroot@=\count92
 \uproot@=\count91
 \leftroot@=\count92

-LaTeX Info: Redefining \overline on input line 307.
+LaTeX Info: Redefining \overline on input line 306.

 \classnum@=\count93
 \DOTSCASE@=\count94
 \classnum@=\count93
 \DOTSCASE@=\count94

-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
+LaTeX Info: Redefining \ldots on input line 378.
+LaTeX Info: Redefining \dots on input line 381.
+LaTeX Info: Redefining \cdots on input line 466.

 \Mathstrutbox@=\box26
 \strutbox@=\box27
 \big@size=\dimen105
 \Mathstrutbox@=\box26
 \strutbox@=\box27
 \big@size=\dimen105

-LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
-LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
+LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
+LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.

 \macc@depth=\count95
 \c@MaxMatrixCols=\count96
 \dotsspace@=\muskip10
 \macc@depth=\count95
 \c@MaxMatrixCols=\count96
 \dotsspace@=\muskip10


@@ -351,18 +350,18 @@ LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
 \multlinegap=\skip44
 \multlinetaggap=\skip45
 \mathdisplay@stack=\toks22
 \multlinegap=\skip44
 \multlinetaggap=\skip45
 \mathdisplay@stack=\toks22

-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
+LaTeX Info: Redefining \[ on input line 2665.
+LaTeX Info: Redefining \] on input line 2666.

 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty

-Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support

 \symAMSa=\mathgroup4
 \symAMSb=\mathgroup5
 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 \symAMSa=\mathgroup4
 \symAMSb=\mathgroup5
 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'

-(Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
+(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.

 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
 )
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty

-Package: amssymb 2009/06/22 v3.00
+Package: amssymb 2013/01/14 v3.01 AMS font symbols

 )
 (/usr/share/texlive/texmf-dist/tex/latex/optional/optional.sty
 Package: optional 2005/01/26 ver 2.2b;  Optional inclusion/omission
 )
 (/usr/share/texlive/texmf-dist/tex/latex/optional/optional.sty
 Package: optional 2005/01/26 ver 2.2b;  Optional inclusion/omission


@@ -376,8 +375,8 @@ Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
 \FrameSep=\dimen115
 )
 (/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty
 \FrameSep=\dimen115
 )
 (/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty

-Style `ntheorem', Version 1.31 <2011/02/16>
-Package: ntheorem 2011/02/16 1.31
+Style `ntheorem', Version 1.33 <2011/08/15>
+Package: ntheorem 2011/08/15 1.33

 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 )


@@ -389,30 +388,41 @@ Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 \theorempostskipamount=\skip48
 \theoremframepreskipamount=\skip49
 \theoremframepostskipamount=\skip50
 \theorempostskipamount=\skip48
 \theoremframepreskipamount=\skip49
 \theoremframepostskipamount=\skip50

+\theoreminframepreskipamount=\skip51
+\theoreminframepostskipamount=\skip52
+\theorem@preskip=\toks27
+\theorem@postskip=\toks28
+\theorem@framepreskip=\toks29
+\theorem@framepostskip=\toks30
+\theorem@inframepreskip=\toks31
+\theorem@inframepostskip=\toks32

 \theoremindent=\dimen116
 \theorem@indent=\dimen117
 \theoremindent=\dimen116
 \theorem@indent=\dimen117

-\theoremheaderfont=\toks27
-\theoremseparator=\toks28
-\theoremprework=\toks29
-\theorempostwork=\toks30
-\theoremsymbol=\toks31
-\qedsymbol=\toks32
-\theoremkeyword=\toks33
-\qedsymbol=\toks34
-\thm@topsepadd=\skip51
-Package ntheorem Info: Option `thmmarks' loaded on input line 1066.
+\theoremrightindent=\dimen118
+\theorem@rightindent=\dimen119
+\theoremheaderfont=\toks33
+\theoremseparator=\toks34
+\theoremprework=\toks35
+\theorempostwork=\toks36
+\theoremsymbol=\toks37
+\qedsymbol=\toks38
+\theoremkeyword=\toks39
+\qedsymbol=\toks40
+\thm@topsep=\skip53
+\thm@topsepadd=\skip54
+Package ntheorem Info: Option `thmmarks' loaded on input line 1175.

 \c@endNonectr=\count102
 \c@currNonectr=\count103
 \c@endNonectr=\count102
 \c@currNonectr=\count103

-\mysavskip=\skip52
-Package ntheorem Info: Option `thref' loaded on input line 1066.
-\mysavskip=\skip53
+\mysavskip=\skip55
+Package ntheorem Info: Option `thref' loaded on input line 1175.
+\mysavskip=\skip56

 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li

-ne 1066.
+ne 1175.

 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input

- line 1066.
-\thm@amstmpdepth=\dimen118
-\tagwidth=\dimen119
-\shadecolor=\toks35
+ line 1175.
+\thm@amstmpdepth=\dimen120
+\tagwidth=\dimen121
+\shadecolor=\toks41

 )
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)


@@ -436,13 +446,13 @@ Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
 
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)

-\KV@toks@=\toks36
+\KV@toks@=\toks42

 )
 )

-\Gin@req@height=\dimen120
-\Gin@req@width=\dimen121
+\Gin@req@height=\dimen122
+\Gin@req@width=\dimen123

 )
 )

-\epsfxsize=\dimen122
-\epsfysize=\dimen123
+\epsfxsize=\dimen124
+\epsfysize=\dimen125

 )
 (/usr/share/texlive/texmf-dist/tex/latex/psfrag/psfrag.sty
 Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/psfrag/psfrag.sty
 Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)


@@ -452,12 +462,12 @@ Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 Package: subfigure 2002/03/15 v2.1.5 subfigure package
 )
 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 Package: subfigure 2002/03/15 v2.1.5 subfigure package

-\subfigtopskip=\skip54
-\subfigcapskip=\skip55
-\subfigcaptopadj=\dimen124
-\subfigbottomskip=\skip56
-\subfigcapmargin=\dimen125
-\subfiglabelskip=\skip57
+\subfigtopskip=\skip57
+\subfigcapskip=\skip58
+\subfigcaptopadj=\dimen126
+\subfigbottomskip=\skip59
+\subfigcapmargin=\dimen127
+\subfiglabelskip=\skip60

 \c@subfigure=\count106
 \c@lofdepth=\count107
 \c@subtable=\count108
 \c@subfigure=\count106
 \c@lofdepth=\count107
 \c@subtable=\count108


@@ -467,8 +477,8 @@ Package: subfigure 2002/03/15 v2.1.5 subfigure package
 * Local config file subfigure.cfg used *
 ****************************************
 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
 * Local config file subfigure.cfg used *
 ****************************************
 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)

-\subfig@top=\skip58
-\subfig@bottom=\skip59
+\subfig@top=\skip61
+\subfig@bottom=\skip62

 )
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)


@@ -493,39 +503,39 @@ Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
 Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
 \calc@Acount=\count111
 \calc@Bcount=\count112
 Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
 \calc@Acount=\count111
 \calc@Bcount=\count112

-\calc@Adimen=\dimen126
-\calc@Bdimen=\dimen127
-\calc@Askip=\skip60
-\calc@Bskip=\skip61
+\calc@Adimen=\dimen128
+\calc@Bdimen=\dimen129
+\calc@Askip=\skip63
+\calc@Bskip=\skip64

 LaTeX Info: Redefining \setlength on input line 76.
 LaTeX Info: Redefining \addtolength on input line 77.
 \calc@Ccount=\count113
 LaTeX Info: Redefining \setlength on input line 76.
 LaTeX Info: Redefining \addtolength on input line 77.
 \calc@Ccount=\count113

-\calc@Cskip=\skip62
+\calc@Cskip=\skip65

 )
 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 \lst@mode=\count114
 \lst@gtempboxa=\box28
 )
 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 \lst@mode=\count114
 \lst@gtempboxa=\box28

-\lst@token=\toks37
+\lst@token=\toks43

 \lst@length=\count115
 \lst@length=\count115

-\lst@currlwidth=\dimen128
+\lst@currlwidth=\dimen130

 \lst@column=\count116
 \lst@pos=\count117
 \lst@column=\count116
 \lst@pos=\count117

-\lst@lostspace=\dimen129
-\lst@width=\dimen130
+\lst@lostspace=\dimen131
+\lst@width=\dimen132

 \lst@newlines=\count118
 \lst@lineno=\count119
 \lst@newlines=\count118
 \lst@lineno=\count119

-\lst@maxwidth=\dimen131
+\lst@maxwidth=\dimen133

 
 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 
 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty

-File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
+File: lstmisc.sty 2013/07/10 1.5 (Carsten Heinz)

 \c@lstnumber=\count120
 \lst@skipnumbers=\count121
 \lst@framebox=\box29
 )
 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
 \c@lstnumber=\count120
 \lst@skipnumbers=\count121
 \lst@framebox=\box29
 )
 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg

-File: listings.cfg 2007/02/22 1.4 listings configuration
+File: listings.cfg 2013/06/27 1.5pre1 listings configuration

 ))
 ))

-Package: listings 2007/02/22 1.4 (Carsten Heinz)
+Package: listings 2013/07/10 1.5 (Carsten Heinz)

 
 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 \Urlmuskip=\muskip11
 
 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 \Urlmuskip=\muskip11


@@ -536,12 +546,12 @@ Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
 )
 (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
 Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
 Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)

-\LTleft=\skip63
-\LTright=\skip64
-\LTpre=\skip65
-\LTpost=\skip66
+\LTleft=\skip66
+\LTright=\skip67
+\LTpre=\skip68
+\LTpost=\skip69

 \LTchunksize=\count122
 \LTchunksize=\count122

-\LTcapwidth=\dimen132
+\LTcapwidth=\dimen134

 \LT@head=\box30
 \LT@firsthead=\box31
 \LT@foot=\box32
 \LT@head=\box30
 \LT@firsthead=\box31
 \LT@foot=\box32


@@ -550,15 +560,15 @@ Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
 \LT@rows=\count124
 \c@LT@tables=\count125
 \c@LT@chunks=\count126
 \LT@rows=\count124
 \c@LT@tables=\count125
 \c@LT@chunks=\count126

-\LT@p@ftn=\toks38
+\LT@p@ftn=\toks44

 )
 (/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty
 )
 (/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty

-\tablinesep=\dimen133
-\arraylinesep=\dimen134
-\extrarulesep=\dimen135
-\@arstdepth=\dimen136
-\@arstheight=\dimen137
-\@skip@bove=\dimen138
+\tablinesep=\dimen135
+\arraylinesep=\dimen136
+\extrarulesep=\dimen137
+\@arstdepth=\dimen138
+\@arstheight=\dimen139
+\@skip@bove=\dimen140

 )
 (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
 )
 (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package


@@ -721,8 +731,8 @@ slashbox style by K.Yasuoka, May 1993.
 \@slashboxc=\box36
 \@slashboxwd=\count127
 \@slashboxht=\count128
 \@slashboxc=\box36
 \@slashboxwd=\count127
 \@slashboxht=\count128

-\@slashsepl=\dimen139
-\@slashsepr=\dimen140
+\@slashsepl=\dimen141
+\@slashsepr=\dimen142

 ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) 
 )
 ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) 
 )


@@ -731,53 +741,47 @@ Package: gastex 2006/11/28 v2.8
 \c@cnt@a=\count129
 \c@cnt@b=\count130
 \c@cnt@c=\count131
 \c@cnt@a=\count129
 \c@cnt@b=\count130
 \c@cnt@c=\count131

-\dim@x=\dimen141
-\dim@y=\dimen142
+\dim@x=\dimen143
+\dim@y=\dimen144

 \temp@box=\box37
 \temp@box=\box37

-\d@my@unit=\dimen143
+\d@my@unit=\dimen145

 \c@cnt@@a=\count132
 \c@cnt@@b=\count133
 \c@cnt@@c=\count134
 )
 (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
 \c@cnt@@a=\count132
 \c@cnt@@b=\count133
 \c@cnt@@c=\count134
 )
 (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty

-\bigstrutjot=\dimen144
+\bigstrutjot=\dimen146

 )
 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
 )
 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty

-Package: babel 2008/07/08 v3.8m The Babel package
+Package: babel 2013/05/16 v3.9f The Babel package

 
 

-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
-Language: frenchb 2010/08/21 v2.5a French support from the babel system
+(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
+Language: frenchb 2013/07/06 v2.6e French support from the babel system

 
 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
 
 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def

-File: babel.def 2008/07/08 v3.8m Babel common definitions
+File: babel.def 2013/05/16 v3.9f Babel common definitions

 \babel@savecnt=\count135
 \babel@savecnt=\count135

-\U@D=\dimen145
+\U@D=\dimen147

 
 
 LaTeX Warning: Command \@testdef  has changed.
                Check if current package is valid.
 
 )
 
 
 LaTeX Warning: Command \@testdef  has changed.
                Check if current package is valid.
 
 )

-
-Package babel Warning: No hyphenation patterns were loaded for
-(babel)                the language `French'
-(babel)                I will use the patterns loaded for \language=0 instead.
-
-\l@french = a dialect from \language0
-Package babel Info: Making : an active character on input line 234.
-Package babel Info: Making ; an active character on input line 235.
-Package babel Info: Making ! an active character on input line 236.
-Package babel Info: Making ? an active character on input line 237.
-\FB@Mht=\dimen146
-\std@mcc=\count136
-\dec@mcc=\count137
-\parindentFFN=\dimen147
-*************************************
-* Local config file frenchb.cfg used
-*
-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg))
-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
-Language: frenchb 2010/08/21 v2.5a French support from the babel system
+\FB@interchartokenstateORI=\count136
+Package babel Info: Making : an active character on input line 240.
+Package babel Info: Making ; an active character on input line 241.
+Package babel Info: Making ! an active character on input line 242.
+Package babel Info: Making ? an active character on input line 243.
+\FB@Mht=\dimen148
+\std@mcc=\count137
+\dec@mcc=\count138
+\listindentFB=\skip70
+\labelwidthFB=\skip71
+\leftmarginFB=\skip72
+\parindentFFN=\dimen149
+) (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
+Language: frenchb 2013/07/06 v2.6e French support from the babel system

 ))
 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
 ))
 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty


@@ -794,55 +798,55 @@ Package ifvtex Info: VTeX not detected.
 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 )
 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 )

-\Gm@cnth=\count138
-\Gm@cntv=\count139
-\c@Gm@tempcnt=\count140
-\Gm@bindingoffset=\dimen148
-\Gm@wd@mp=\dimen149
-\Gm@odd@mp=\dimen150
-\Gm@even@mp=\dimen151
-\Gm@layoutwidth=\dimen152
-\Gm@layoutheight=\dimen153
-\Gm@layouthoffset=\dimen154
-\Gm@layoutvoffset=\dimen155
-\Gm@dimlist=\toks39
+\Gm@cnth=\count139
+\Gm@cntv=\count140
+\c@Gm@tempcnt=\count141
+\Gm@bindingoffset=\dimen150
+\Gm@wd@mp=\dimen151
+\Gm@odd@mp=\dimen152
+\Gm@even@mp=\dimen153
+\Gm@layoutwidth=\dimen154
+\Gm@layoutheight=\dimen155
+\Gm@layouthoffset=\dimen156
+\Gm@layoutvoffset=\dimen157
+\Gm@dimlist=\toks45

 )
 (./symboles.sty)
 )
 (./symboles.sty)

-\c@currExoctr=\count141
-\c@endExoctr=\count142
-\c@Exo=\count143
-\c@currExocctr=\count144
-\c@endExocctr=\count145
-\c@currExctr=\count146
-\c@endExctr=\count147
-\c@currRemctr=\count148
-\c@endRemctr=\count149
-\c@Rem=\count150
-\c@currNotationctr=\count151
-\c@endNotationctr=\count152
-\c@Notation=\count153
-\c@currDefctr=\count154
-\c@endDefctr=\count155
-\c@Def=\count156
-\c@currThctr=\count157
-\c@endThctr=\count158
-\c@Th=\count159
-\c@currCorollaryctr=\count160
-\c@endCorollaryctr=\count161
-\c@currPrectr=\count162
-\c@endPrectr=\count163
-\c@Pre=\count164
-\c@currLemmactr=\count165
-\c@endLemmactr=\count166
-\c@Lemma=\count167
-\c@currProofctr=\count168
-\c@endProofctr=\count169
-\c@Proof=\count170
-\c@currQqctr=\count171
-\c@endQqctr=\count172
-\c@Qq=\count173
+\c@currExoctr=\count142
+\c@endExoctr=\count143
+\c@Exo=\count144
+\c@currExocctr=\count145
+\c@endExocctr=\count146
+\c@currExctr=\count147
+\c@endExctr=\count148
+\c@currRemctr=\count149
+\c@endRemctr=\count150
+\c@Rem=\count151
+\c@currNotationctr=\count152
+\c@endNotationctr=\count153
+\c@Notation=\count154
+\c@currDefctr=\count155
+\c@endDefctr=\count156
+\c@Def=\count157
+\c@currThctr=\count158
+\c@endThctr=\count159
+\c@Th=\count160
+\c@currCorollaryctr=\count161
+\c@endCorollaryctr=\count162
+\c@currPrectr=\count163
+\c@endPrectr=\count164
+\c@Pre=\count165
+\c@currLemmactr=\count166
+\c@endLemmactr=\count167
+\c@Lemma=\count168
+\c@currProofctr=\count169
+\c@endProofctr=\count170
+\c@Proof=\count171
+\c@currQqctr=\count172
+\c@endQqctr=\count173
+\c@Qq=\count174

  (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
  (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty

-Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX
+Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX

 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 
 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 


@@ -886,66 +890,70 @@ Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 )
 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 )

+(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
+Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
+)

 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 )
 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 )

-\@linkdim=\dimen156
-\Hy@linkcounter=\count174
-\Hy@pagecounter=\count175
+\@linkdim=\dimen158
+\Hy@linkcounter=\count175
+\Hy@pagecounter=\count176

 
 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
 
 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def

-File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO)
+File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)

 Now handling font encoding PD1 ...
 ... no UTF-8 mapping file for font encoding PD1
 )
 Now handling font encoding PD1 ...
 ... no UTF-8 mapping file for font encoding PD1
 )

-\Hy@SavedSpaceFactor=\count176
+\Hy@SavedSpaceFactor=\count177

 
 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 )
 
 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 )

-Package hyperref Info: Hyper figures OFF on input line 4062.
-Package hyperref Info: Link nesting OFF on input line 4067.
-Package hyperref Info: Hyper index ON on input line 4070.
-Package hyperref Info: Plain pages OFF on input line 4077.
-Package hyperref Info: Backreferencing OFF on input line 4082.
+Package hyperref Info: Hyper figures OFF on input line 4443.
+Package hyperref Info: Link nesting OFF on input line 4448.
+Package hyperref Info: Hyper index ON on input line 4451.
+Package hyperref Info: Plain pages OFF on input line 4458.
+Package hyperref Info: Backreferencing OFF on input line 4463.

 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.

-Package hyperref Info: Bookmarks ON on input line 4300.
-\c@Hy@tempcnt=\count177
-LaTeX Info: Redefining \url on input line 4653.
-\Fld@menulength=\count178
-\Field@Width=\dimen157
-\Fld@charsize=\dimen158
-Package hyperref Info: Hyper figures OFF on input line 5773.
-Package hyperref Info: Link nesting OFF on input line 5778.
-Package hyperref Info: Hyper index ON on input line 5781.
-Package hyperref Info: backreferencing OFF on input line 5788.
-Package hyperref Info: Link coloring OFF on input line 5793.
-Package hyperref Info: Link coloring with OCG OFF on input line 5798.
-Package hyperref Info: PDF/A mode OFF on input line 5803.
-LaTeX Info: Redefining \ref on input line 5843.
-LaTeX Info: Redefining \pageref on input line 5847.
-\Hy@abspage=\count179
-\c@Item=\count180
-\c@Hfootnote=\count181
+Package hyperref Info: Bookmarks ON on input line 4688.
+\c@Hy@tempcnt=\count178
+LaTeX Info: Redefining \url on input line 5041.
+\XeTeXLinkMargin=\dimen159
+\Fld@menulength=\count179
+\Field@Width=\dimen160
+\Fld@charsize=\dimen161
+Package hyperref Info: Hyper figures OFF on input line 6295.
+Package hyperref Info: Link nesting OFF on input line 6300.
+Package hyperref Info: Hyper index ON on input line 6303.
+Package hyperref Info: backreferencing OFF on input line 6310.
+Package hyperref Info: Link coloring OFF on input line 6315.
+Package hyperref Info: Link coloring with OCG OFF on input line 6320.
+Package hyperref Info: PDF/A mode OFF on input line 6325.
+LaTeX Info: Redefining \ref on input line 6365.
+LaTeX Info: Redefining \pageref on input line 6369.
+\Hy@abspage=\count180
+\c@Item=\count181
+\c@Hfootnote=\count182

 )
 
 Package hyperref Message: Driver (autodetected): hpdftex.
 
 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
 )
 
 Package hyperref Message: Driver (autodetected): hpdftex.
 
 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def

-File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX
-\Fld@listcount=\count182
-\c@bookmark@seq@number=\count183
+File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
+\Fld@listcount=\count183
+\c@bookmark@seq@number=\count184

 
 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 82.
 )
 
 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 82.
 )

-\Hy@SectionHShift=\skip67
+\Hy@SectionHShift=\skip73

 )
 )

-Package hyperref Info: Option `colorlinks' set `true' on input line 190.
-Package hyperref Info: Option `breaklinks' set `true' on input line 190.
-Package hyperref Info: Option `bookmarksopen' set `true' on input line 190.
+Package hyperref Info: Option `colorlinks' set `true' on input line 184.
+Package hyperref Info: Option `breaklinks' set `true' on input line 184.
+Package hyperref Info: Option `bookmarksopen' set `true' on input line 184.

 \@indexfile=\write4
 \openout4 = `main13.idx'.
 
 \@indexfile=\write4
 \openout4 = `main13.idx'.
 


@@ -954,29 +962,29 @@ Writing index file main13.idx
 (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
 \openout1 = `main13.aux'.
 
 (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
 \openout1 = `main13.aux'.
 

-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 217.
-LaTeX Font Info:    Try loading font information for TS1+cmr on input line 217.
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 211.
+LaTeX Font Info:    Try loading font information for TS1+cmr on input line 211.

 
 
 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 )
 
 
 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 )

-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 217.
-LaTeX Font Info:    ... okay on input line 217.
-LaTeX Font Info:    Try loading font information for T1+ptm on input line 217.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 211.
+LaTeX Font Info:    ... okay on input line 211.
+LaTeX Font Info:    Try loading font information for T1+ptm on input line 211.

 
 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
 File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
 
 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
 File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.


@@ -986,7 +994,7 @@ Specify which optional text to process:
 \UseOption=
 
 Package optional Warning: No options were selected, so all optional text will b
 \UseOption=
 
 Package optional Warning: No options were selected, so all optional text will b

-e printed on input line 217.
+e printed on input line 211.

 
 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
 
 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf


@@ -1007,22 +1015,22 @@ e
 ))
 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
 [Loading MPS to PDF converter (version 2006.09.02).]
 ))
 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
 [Loading MPS to PDF converter (version 2006.09.02).]

-\scratchcounter=\count184
-\scratchdimen=\dimen159
+\scratchcounter=\count185
+\scratchdimen=\dimen162

 \scratchbox=\box38
 \scratchbox=\box38

-\nofMPsegments=\count185
-\nofMParguments=\count186
-\everyMPshowfont=\toks40
-\MPscratchCnt=\count187
-\MPscratchDim=\dimen160
-\MPnumerator=\count188
-\makeMPintoPDFobject=\count189
-\everyMPtoPDFconversion=\toks41
+\nofMPsegments=\count186
+\nofMParguments=\count187
+\everyMPshowfont=\toks46
+\MPscratchCnt=\count188
+\MPscratchDim=\dimen163
+\MPnumerator=\count189
+\makeMPintoPDFobject=\count190
+\everyMPtoPDFconversion=\toks47

 )
 )

-\c@lstlisting=\count190
-LaTeX Info: Redefining \degres on input line 217.
-LaTeX Info: Redefining \dots on input line 217.
-LaTeX Info: Redefining \up on input line 217.
+\c@lstlisting=\count191
+LaTeX Info: Redefining \degres on input line 211.
+LaTeX Info: Redefining \dots on input line 211.
+LaTeX Info: Redefining \up on input line 211.

 
 *geometry* driver: auto-detecting
 *geometry* detected driver: pdftex
 
 *geometry* driver: auto-detecting
 *geometry* detected driver: pdftex


@@ -1032,15 +1040,15 @@ LaTeX Info: Redefining \up on input line 217.
 * layout: <same size as paper>
 * layoutoffset:(h,v)=(0.0pt,0.0pt)
 * modes: 
 * layout: <same size as paper>
 * layoutoffset:(h,v)=(0.0pt,0.0pt)
 * modes: 

-* h-part:(L,W,R)=(71.13188pt, 455.24411pt, 71.13188pt)
-* v-part:(T,H,B)=(71.13188pt, 702.78308pt, 71.13188pt)
+* h-part:(L,W,R)=(42.67912pt, 512.14963pt, 42.67912pt)
+* v-part:(T,H,B)=(28.45274pt, 788.14136pt, 28.45274pt)

 * \paperwidth=597.50787pt
 * \paperheight=845.04684pt
 * \paperwidth=597.50787pt
 * \paperheight=845.04684pt

-* \textwidth=455.24411pt
-* \textheight=702.78308pt
-* \oddsidemargin=-1.1381pt
-* \evensidemargin=-1.1381pt
-* \topmargin=-38.1381pt
+* \textwidth=512.14963pt
+* \textheight=788.14136pt
+* \oddsidemargin=-29.59087pt
+* \evensidemargin=-29.59087pt
+* \topmargin=-80.81725pt

 * \headheight=12.0pt
 * \headsep=25.0pt
 * \topskip=11.0pt
 * \headheight=12.0pt
 * \headsep=25.0pt
 * \topskip=11.0pt


@@ -1059,63 +1067,63 @@ LaTeX Info: Redefining \up on input line 217.
 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
 
 \AtBeginShipoutBox=\box39
 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
 
 \AtBeginShipoutBox=\box39

-Package hyperref Info: Link coloring ON on input line 217.
+Package hyperref Info: Link coloring ON on input line 211.

 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty

-Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section
+Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section

 
 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
 )
 
 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
 )

-\c@section@level=\count191
+\c@section@level=\count192

 )
 )

-LaTeX Info: Redefining \ref on input line 217.
-LaTeX Info: Redefining \pageref on input line 217.
-LaTeX Info: Redefining \nameref on input line 217.
+LaTeX Info: Redefining \ref on input line 211.
+LaTeX Info: Redefining \pageref on input line 211.
+LaTeX Info: Redefining \nameref on input line 211.

 
 (./main13.out) (./main13.out)
 \@outlinefile=\write5
 \openout5 = `main13.out'.
 
 
 (./main13.out) (./main13.out)
 \@outlinefile=\write5
 \openout5 = `main13.out'.
 

-LaTeX Font Info:    Try loading font information for OT1+lmr on input line 221.
+LaTeX Font Info:    Try loading font information for OT1+lmr on input line 215.

 
  (/usr/share/texmf/tex/latex/lm/ot1lmr.fd
 File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )
 
  (/usr/share/texmf/tex/latex/lm/ot1lmr.fd
 File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )

-LaTeX Font Info:    Try loading font information for OML+lmm on input line 221.
+LaTeX Font Info:    Try loading font information for OML+lmm on input line 215.

 
 
 (/usr/share/texmf/tex/latex/lm/omllmm.fd
 File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )
 
 
 (/usr/share/texmf/tex/latex/lm/omllmm.fd
 File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )

-LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 221
+LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 215

 .
 
 (/usr/share/texmf/tex/latex/lm/omslmsy.fd
 File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )
 .
 
 (/usr/share/texmf/tex/latex/lm/omslmsy.fd
 File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )

-LaTeX Font Info:    Try loading font information for OMX+lmex on input line 221
+LaTeX Font Info:    Try loading font information for OMX+lmex on input line 215

 .
 
 (/usr/share/texmf/tex/latex/lm/omxlmex.fd
 File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )
 LaTeX Font Info:    External font `lmex10' loaded for size
 .
 
 (/usr/share/texmf/tex/latex/lm/omxlmex.fd
 File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
 )
 LaTeX Font Info:    External font `lmex10' loaded for size

-(Font)              <12> on input line 221.
+(Font)              <12> on input line 215.

 LaTeX Font Info:    External font `lmex10' loaded for size
 LaTeX Font Info:    External font `lmex10' loaded for size

-(Font)              <8> on input line 221.
+(Font)              <8> on input line 215.

 LaTeX Font Info:    External font `lmex10' loaded for size
 LaTeX Font Info:    External font `lmex10' loaded for size

-(Font)              <6> on input line 221.
-LaTeX Font Info:    Try loading font information for U+msa on input line 221.
+(Font)              <6> on input line 215.
+LaTeX Font Info:    Try loading font information for U+msa on input line 215.

 
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
 
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd

-File: umsa.fd 2009/06/22 v3.00 AMS symbols A
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A

 )
 )

-LaTeX Font Info:    Try loading font information for U+msb on input line 221.
+LaTeX Font Info:    Try loading font information for U+msb on input line 215.

 
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
 
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd

-File: umsb.fd 2009/06/22 v3.00 AMS symbols B
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B

 )
 )

-LaTeX Font Info:    Try loading font information for T1+pcr on input line 221.
+LaTeX Font Info:    Try loading font information for T1+pcr on input line 215.

 
 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
 File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
 
 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
 File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.


@@ -1125,7 +1133,7 @@ Non-PDF special ignored!
 
 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <24.88> not available
 
 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <24.88> not available

-(Font)              Font shape `T1/ptm/b/n' tried instead on input line 221.
+(Font)              Font shape `T1/ptm/b/n' tried instead on input line 215.

 
 (./main13.toc
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available
 
 (./main13.toc
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available


@@ -1138,7 +1146,7 @@ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has
 been already used, duplicate ignored
 <to be read again> 
                    \relax 
 been already used, duplicate ignored
 <to be read again> 
                    \relax 

-l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1}
+l.50 ...sembles de nombres entiers}{31}{chapter.5}

                                                    [1
 
 ])
                                                    [1
 
 ])


@@ -1151,7 +1159,7 @@ l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1}
 
 No file Remerciements.tex.
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <20.74> not available
 
 No file Remerciements.tex.
 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <20.74> not available

-(Font)              Font shape `T1/ptm/b/n' tried instead on input line 229.
+(Font)              Font shape `T1/ptm/b/n' tried instead on input line 223.

 [3
 
 
 [3
 
 


@@ -1163,14 +1171,6 @@ LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <14.4> not available
 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
 Package hyperref Info: bookmark level for unknown Def defaults to 0 on input li
 ne 6.
 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
 Package hyperref Info: bookmark level for unknown Def defaults to 0 on input li
 ne 6.

-
-Overfull \hbox (8.67114pt too wide) in paragraph at lines 6--11
-[]\T1/ptm/m/sl/10.95 On ap-pelle \T1/ptm/m/n/10.95 al-gèbre de Boole[] \T1/ptm/
-m/sl/10.95 la struc-ture al-gébrique $\OT1/lmr/m/n/10.95 (\OMS/lmsy/m/n/10.95 A
-\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 +\OML/lmm/m/it/10.95 ; :; []\OT1/lmr/m
-/n/10.95 )$
- []
-

 LaTeX Font Info:    External font `lmex10' loaded for size
 (Font)              <10> on input line 36.
 LaTeX Font Info:    External font `lmex10' loaded for size
 LaTeX Font Info:    External font `lmex10' loaded for size
 (Font)              <10> on input line 36.
 LaTeX Font Info:    External font `lmex10' loaded for size


@@ -1181,7 +1181,7 @@ Package hyperref Info: bookmark level for unknown Rem defaults to 0 on input li
 ne 68.
 Package hyperref Info: bookmark level for unknown Exo defaults to 0 on input li
 ne 74.
 ne 68.
 Package hyperref Info: bookmark level for unknown Exo defaults to 0 on input li
 ne 74.

-[4
+ [4

 
 ]
 Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin
 
 ]
 Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin


@@ -1191,631 +1191,163 @@ line 162.
 Package hyperref Info: bookmark level for unknown Ex defaults to 0 on input lin
 e 172.
  [5]
 Package hyperref Info: bookmark level for unknown Ex defaults to 0 on input lin
 e 172.
  [5]

-Overfull \hbox (0.52283pt too wide) in paragraph at lines 327--329
-[]\T1/ptm/m/sl/10.95 Un \T1/ptm/m/n/10.95 monôme[] \T1/ptm/m/sl/10.95 est une f
-onc-tion booléenne pro-duit de vari-ables booléennes
+Underfull \hbox (badness 2762) in paragraph at lines 309--312
+[]\T1/ptm/m/n/10.95 Les min-termes et max-termes, pour un

  []
 
  []
 

-[6] [7] [8]
+[6] [7]

 Package hyperref Info: bookmark level for unknown Exoc defaults to 0 on input l
 ine 500.
 Package hyperref Info: bookmark level for unknown Exoc defaults to 0 on input l
 ine 500.

- [9]
-Overfull \hbox (0.39145pt too wide) in paragraph at lines 626--627
-[]\T1/ptm/m/it/10.95 Donner la forme canon-ique dis-jonc-tive de la fonc-tion b
-ooléeene
+ [8]
+Overfull \hbox (10.98196pt too wide) in paragraph at lines 653--655
+[]\T1/ptm/m/it/10.95 On consi-dère deux fonc-tions boo-léennes $\OML/lmm/m/it/1
+0.95 u$ \T1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 v$ \T1/ptm/m/it/10.95 des qu
+atres

  []
 
  []
 

-[10]) [11]
+[9]) [10]

 Chapitre 2.
 Chapitre 2.

-(./logique/Propositions13.texpdfTeX warning (ext4): destination with the same i
-dentifier (name{Def.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.34 \begin{Def}
-                [Proposition]pdfTeX warning (ext4): destination with the same i
-dentifier (name{Exo.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.43 \begin{Ex}
-                [12
+(./logique/Propositions13.tex [11

 
 

-]pdfTeX warning (ext4): destination with the same identifier (name{Rem.1}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.175 \begin{Rem}
-                  [13]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.197 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Rem.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.219 \begin{Rem}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.225 \begin{Exoc}
-                  pdfTeX warning (ext4): destination with the same identifier (
-name{Exo.4}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.256 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.289 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.300 \begin{Exo}
-                  [14]
-LaTeX Font Info:    Try loading font information for TS1+ptm on input line 309.
+]
+Overfull \hbox (0.7556pt too wide) in paragraph at lines 220--222
+[]\T1/ptm/m/n/10.95 Même re-marque que pour l'im-pli-ca-tion lo-gique : l'équi-
+va-lence lo-gique de deux pro-po-si-tions fausses
+ []

 
 

+[12]
+LaTeX Font Info:    Try loading font information for TS1+ptm on input line 309.

 
 

-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
+ (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd

 File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
 File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.

-)pdfTeX warning (ext4): destination with the same identifier (name{Th.1}) has b
-een already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.400 \begin{Th}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Rem.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.420 \begin{Rem}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.7}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.431 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.8}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.452 \begin{Exo}
-                  [15]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.9}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.474 \begin{Exo}
-                 
-Overfull \hbox (2.21603pt too wide) in paragraph at lines 482--487
-[]\T1/ptm/m/n/10.95 Lorsqu'on rem-place, dans une for-mule propo-si-tion-nelle,
- les vari-ables propo-si-tion-nelles par des propo-
- []
-
-pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
-en already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.488 \begin{Th}
-                [Règles de priorité des connecteurs logiques]
-Underfull \hbox (badness 10000) in paragraph at lines 489--491
-[]\T1/ptm/m/n/10.95 Les con-ven-tions de
+) [13]
+Underfull \hbox (badness 2717) in paragraph at lines 489--491
+[]\T1/ptm/m/n/10.95 Les conven-tions de prio-rité des

  []
 
  []
 

-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.499 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.507 \begin{Th}
-                [Associativité des opérateurs $\ou$ et $\et$]pdfTeX warning (
-ext4): destination with the same identifier (name{Exo.11}) has been already use
-d, duplicate ignored
-<to be read again> 
-                   \relax 
-l.528 \begin{Exoc}
-                   [16]pdfTeX warning (ext4): destination with the same identif
-ier (name{Exo.12}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.573 \begin{Exoc}
-                  pdfTeX warning (ext4): destination with the same identifier (
-name{Exo.13}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.602 \begin{Exo}
-                  [17]pdfTeX warning (ext4): destination with the same identifi
-er (name{Def.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.750 \begin{Def}
-                 [Fonction de vérité de $F$]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Exo.14}) has been already used, duplicate igno
-red
-<to be read again> 
-                   \relax 
-l.803 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.842 \begin{Def}
-                 [Tautologie]
+[14] [15]

 Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
 ut line 857.
 Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
 ut line 857.

-pdfTeX warning (ext4): destination with the same identifier (name{Exo.15}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.861 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.16}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.867 \begin{Ex}
-                 [18]pdfTeX warning (ext4): destination with the same identifie
-r (name{Exo.17}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.923 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.4}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.950 \begin{Def}
-                 [Antilogie]pdfTeX warning (ext4): destination with the same id
-entifier (name{Exo.18}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.958 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.19}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.969 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1005 \begin{Def}
-                  [Conséquence logique]
-Overfull \hbox (9.10168pt too wide) in paragraph at lines 1015--1017
-[]\T1/ptm/m/n/10.95 On note ce ré-sul-tat : $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it
-/10.95 F[]; [] ; F[]\OMS/lmsy/m/n/10.95 g j[]\OT1/lmr/m/n/10.95 = \OML/lmm/m/it
-/10.95 A$ \T1/ptm/m/n/10.95 (se lit : $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/n/10.95
- est con-séquence logique de $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 F[]; [] 
-; F[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/n/10.95 ). $$ 
+ [16] [17] [18]
+Overfull \hbox (20.57855pt too wide) in paragraph at lines 1352--1361
+\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 
+g$ \T1/ptm/m/n/10.95 sont vraies, $\OML/lmm/m/it/10.95 G[] \OMS/lmsy/m/n/10.95 
+) \OML/lmm/m/it/10.95 H$ \T1/ptm/m/n/10.95 est vraie. Re-gar-dons si $\OML/lmm/
+m/it/10.95 H$ \T1/ptm/m/n/10.95 est une consé-quence lo-gique de $\OMS/lmsy/m/n
+/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 g$

  []
 
  []
 

-pdfTeX warning (ext4): destination with the same identifier (name{Exo.20}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1023 \begin{Ex}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.21}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1065 \begin{Exo}
-                   [19]pdfTeX warning (ext4): destination with the same identif
-ier (name{Exo.22}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1086 \begin{Exo}
-                  pdfTeX warning (ext4): destination with the same identifier (
-name{Def.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1119 \begin{Def}
-                  [Formules équivalentes]
-Overfull \hbox (12.18623pt too wide) in paragraph at lines 1120--1124
-[]\T1/ptm/m/sl/10.95 Si la for-mule propo-si-tion-nelle $\OML/lmm/m/it/10.95 G$
- \T1/ptm/m/sl/10.95 est con-séquence logique
+[19] [20]) [21] [22
+
+]
+Chapitre 3.
+(./ensembles/IntroAuxEnsembles13.tex [23
+
+] [24]
+Overfull \hbox (37.774pt too wide) in paragraph at lines 186--187
+[]\T1/ptm/m/it/10.95 Faire la réunion des en-sembles $\OML/lmm/m/it/10.95 A$ \T
+1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 B$\T1/ptm/m/it/10.95 , quand $\OML/lmm
+/m/it/10.95 A \OT1/lmr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \
+OMS/lmsy/m/n/10.95 2 \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95
+ x[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/it/10.95 , et $\OML/lmm/m/it/10.95 B \OT1/l
+mr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \OMS/lmsy/m/n/10.95 2
+ \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95 x[]\OMS/lmsy/m/n/10
+.95 g$\T1/ptm/m/it/10.95 . 

  []
 
  []
 

-[20]pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) ha
-s been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1270 \begin{Th}
-                 [Théorème de substitution]
-Underfull \hbox (badness 1552) in paragraph at lines 1272--1277
-[]\T1/ptm/m/n/10.95 Soit $\OML/lmm/m/it/10.95 F$ \T1/ptm/m/n/10.95 une for-mule
- propo-si-tion-nelle dans
+[25]
+Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
+[]\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-

  []
 
  []
 

-pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) has
- been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1284 \begin{Proof}
-                     [21]pdfTeX warning (ext4): destination with the same ident
-ifier (name{Th.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.1326 \begin{Th}
-                 [Théorème de la validité]pdfTeX warning (ext4): destination
- with the same identifier (name{Proof.2}) has been already used, duplicate igno
-red
-<to be read again> 
-                   \relax 
-l.1338 \begin{Proof}
-                     [22]
-Overfull \hbox (1.48752pt too wide) in paragraph at lines 1490--1492
-[]\T1/ptm/m/it/10.95 Après une in-tense réflex-ion, l'in-specteur fait sor-tir 
-l'un des deux de l'hôpi-tal. Lequel (et pourquoi?) 
+) [26]
+Chapitre 4.
+(./ensembles/relbin13.tex [27
+
+] [28]
+Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
+ne 301.
+
+Overfull \hbox (350.24652pt too wide) in paragraph at lines 344--350
+[]\T1/ptm/m/it/10.95 Soit $\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/it/10.95 la re-la-t
+ion d'équi-va-lence sui-vante dans l'en-semble $\OML/lmm/m/it/10.95 A \OT1/lmr/
+m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OT1/lmr/m/n/10.95 1\OML/lmm/m/it/10.95 ; \OT1
+/lmr/m/n/10.95 2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3\OML/lmm/m/it/10.95 ;
+ \OT1/lmr/m/n/10.95 4\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 5\OML/lmm/m/it/10
+.95 ; \OT1/lmr/m/n/10.95 6\OMS/lmsy/m/n/10.95 g$ \T1/ptm/m/it/10.95 : $\OMS/lms
+y/m/n/10.95 R \OT1/lmr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OT1/lmr/m/n/10.95 (1\O
+ML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.
+95 (1\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/
+m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OML/lmm/m/it/10.95 ; \O
+T1/lmr/m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3)\OML/lmm/m/it/10.
+95 ; \OT1/lmr/m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OML/lmm/m
+/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OM
+L/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.9
+5 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m
+/n/10.95 6)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (4\OML/lmm/m/it/10.95 ; \OT
+1/lmr/m/n/10.95 4)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (5\OML/lmm/m/it/10.9
+5 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (5\OML/lmm/m/
+it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (6\OML
+/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95
+ (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/
+n/10.95 (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OMS/lmsy/m/n/10.95 g\OML/
+lmm/m/it/10.95 :$

  []
 
  []
 

-[23]) [24] [25
+) [29] [30

 
 ]
 
 ]

-Chapitre 3.
-(./ensembles/IntroAuxEnsembles13.texpdfTeX warning (ext4): destination with the
- same identifier (name{Notation.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.16 \begin{Notation}
-                     pdfTeX warning (ext4): destination with the same identifie
-r (name{Exo.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.20 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.55 \begin{Def}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.60 \begin{Th}
-                [26
-
-]pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) ha
-s been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.64 \begin{Proof}
-                  pdfTeX warning (ext4): destination with the same identifier (
-name{Th.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.72 \begin{Th}
-               pdfTeX warning (ext4): destination with the same identifier (nam
-e{Def.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.77 \begin{Def}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.83 \begin{Th}
-               pdfTeX warning (ext4): destination with the same identifier (nam
-e{Exo.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.88 \begin{Ex}
-               pdfTeX warning (ext4): destination with the same identifier (nam
-e{Exo.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.93 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.4}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.98 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.110 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.117 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.7}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.122 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.131 \begin{Def}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.8}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.139 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.4}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.151 \begin{Def}
-                 [Reunion]\index{réunion} [27]pdfTeX warning (ext4): destinati
-on with the same identifier (name{Exo.9}) has been already used, duplicate igno
-red
-<to be read again> 
-                   \relax 
-l.155 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.160 \begin{Def}
-                 [Intersection]\index{réunion}
-Overfull \hbox (1.73936pt too wide) in paragraph at lines 161--163
-[]\T1/ptm/m/sl/10.95 L'\T1/ptm/m/n/10.95 intersection \T1/ptm/m/sl/10.95 des de
-ux en-sem-bles $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/sl/10.95 et $\OML/lmm/m/it/10.
-95 B$\T1/ptm/m/sl/10.95 , notée $\OML/lmm/m/it/10.95 A \OMS/lmsy/m/n/10.95 \ \O
-ML/lmm/m/it/10.95 B$\T1/ptm/m/sl/10.95 , est l'ensem-
+Chapitre 5.
+(./arithmetique/entiersNaturels13.tex
+Overfull \hbox (11.42195pt too wide) in paragraph at lines 134--134
+[]\T1/ptm/m/n/10.95 L'écriture d'un en-tier $\OML/lmm/m/it/10.95 n$ \T1/ptm/m/n
+/10.95 sous la forme $\OML/lmm/m/it/10.95 n \OT1/lmr/m/n/10.95 = \OML/lmm/m/it/
+10.95 a[]b[]c[] []$\T1/ptm/m/n/10.95 ,

  []
 
  []
 

-pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) has be
-en already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.171 \begin{Th}
-                [Propriétés de la réunion et de l'intersection]
-Underfull \hbox (badness 1496) in paragraph at lines 172--173
-[]\T1/ptm/m/n/10.95 La réu-nion de deux
- []
+[31

 
 

-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.181 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.11}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.185 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Th.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.190 \begin{Th}
-                [Distributivités de $\cup$ et $\cap$]pdfTeX warning (ext4): de
-stination with the same identifier (name{Exo.12}) has been already used, duplic
-ate ignored
-<to be read again> 
-                   \relax 
-l.198 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.205 \begin{Def}
-                 [Complémentation]pdfTeX warning (ext4): destination with the 
-same identifier (name{Th.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.211 \begin{Th}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.13}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.221 \begin{Exo}
-                  [28]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.14}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.247 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.15}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.257 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.16}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.277 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.17}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.300 \begin{Exo}
-                 [Fonction caractéristique des parties d'un ensemble])
-[29]
-Chapitre 4.
-(./ensembles/relbin13.texpdfTeX warning (ext4): destination with the same ident
-ifier (name{Def.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.6 \begin{Def}
-               [Relation binaire]pdfTeX warning (ext4): destination with the sa
-me identifier (name{Exo.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.15 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Rem.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.27 \begin{Rem}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.36 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.54 \begin{Def}
-                [Réflexivité]pdfTeX warning (ext4): destination with the same
- identifier (name{Def.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.61 \begin{Def}
-                [Antisymétrie]pdfTeX warning (ext4): destination with the same
- identifier (name{Def.4}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.71 \begin{Def}
-                [Transitivité]pdfTeX warning (ext4): destination with the same
- identifier (name{Exo.3}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.81 \begin{Exo}
-                 [30
+]
+LaTeX Font Info:    External font `lmex10' loaded for size
+(Font)              <14.4> on input line 255.

 
 

-]pdfTeX warning (ext4): destination with the same identifier (name{Exo.4}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.93 \begin{Exo}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.104 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.5}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.115 \begin{Def}
-                 [Relation d'ordre]pdfTeX warning (ext4): destination with the 
-same identifier (name{Exo.6}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.120 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.7}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.124 \begin{Ex}
-                [Relation de divisibilité]pdfTeX warning (ext4): destination w
-ith the same identifier (name{Exo.8}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.145 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.9}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.156 \begin{Exo}
-                 [Diagrammes de transitivité]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Def.6}) has been already used, duplicate ignor
-ed
-<to be read again> 
-                   \relax 
-l.184 \begin{Def}
-                 [Relation symétrique] [31]pdfTeX warning (ext4): destination 
-with the same identifier (name{Def.7}) has been already used, duplicate ignored

 
 

-<to be read again> 
-                   \relax 
-l.193 \begin{Def}
-                 [Relation d'équivalence]
-Overfull \hbox (1.20601pt too wide) in paragraph at lines 194--196
-[]$\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/sl/10.95 est une re-la-tion d'équiv-a-lence
- lorsqu'elle est réflex-
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref)                removing `math shift' on input line 255.
+
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref)                removing `math shift' on input line 255.
+
+LaTeX Font Info:    Font shape `T1/pcr/bx/n' in size <10.95> not available
+(Font)              Font shape `T1/pcr/b/n' tried instead on input line 293.
+[32] [33] [34] [35]
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref)                removing `math shift' on input line 710.
+
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref)                removing `math shift' on input line 710.
+
+[36]
+Underfull \hbox (badness 10000) in paragraph at lines 842--843
+

  []
 
  []
 

-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has 
-been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.199 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.11}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.205 \begin{Ex}
-                [Relation de congruence modulo $n$ dans $\Z$]pdfTeX warning (ex
-t4): destination with the same identifier (name{Exo.12}) has been already used,
- duplicate ignored
-<to be read again> 
-                   \relax 
-l.225 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Notation.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.250 \begin{Notation}
-                      pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.13}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.255 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.14}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.264 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Th.1}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.294 \begin{Th}
-                 [32]pdfTeX warning (ext4): destination with the same identifie
-r (name{Rem.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.298 \begin{Rem}
-                 
-Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
-ne 304.
-pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
-en already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.321 \begin{Th}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.15}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.331 \begin{Ex}
-                pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.16}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.346 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.17}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.358 \begin{Exo}
-                 [Une relation d'équivalence]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Exo.18}) has been already used, duplicate igno
-red
-<to be read again> 
-                   \relax 
-l.381 \begin{Exo}
-                 pdfTeX warning (ext4): destination with the same identifier (n
-ame{Notation.2}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.394 \begin{Notation}
-                      pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.19}) has been already used, duplicate ignored
-<to be read again> 
-                   \relax 
-l.406 \begin{Ex}
-                [Congruence modulo 4] [33]) [34] [35
+[37]) [38] [39

 
 ]
 \openout2 = `PPN.aux'.
 
  (./PPN.tex
 
 ]
 \openout2 = `PPN.aux'.
 
  (./PPN.tex

-Chapitre 5.
-) [36
+Chapitre 6.
+) [40

 
 
 ]
 No file main13.ind.
 
 
 ]
 No file main13.ind.

-(./main13.bbl) [37
+(./main13.bbl) [41

 
 
 ]
 
 
 ]


@@ -1824,17 +1356,7 @@ No file main13.ind.
  (./Bibliographie.tex
 LaTeX Font Info:    Font shape `T1/ptm/bx/it' in size <10.95> not available
 (Font)              Font shape `T1/ptm/b/it' tried instead on input line 5.
  (./Bibliographie.tex
 LaTeX Font Info:    Font shape `T1/ptm/bx/it' in size <10.95> not available
 (Font)              Font shape `T1/ptm/b/it' tried instead on input line 5.

-
-Overfull \hbox (1.34502pt too wide) in paragraph at lines 5--6
-[]\T1/ptm/m/n/10.95 ] : les thèmes abor-dés sont
- []
-
-
-Overfull \hbox (11.59552pt too wide) in paragraph at lines 13--14
-[]\T1/ptm/m/n/10.95 ] : Pour un pub-lic aver-tis, souhai-
- []
-
-) [38
+) [42

 
 
 ]
 
 
 ]


@@ -1843,43 +1365,46 @@ Overfull \hbox (11.59552pt too wide) in paragraph at lines 13--14
 
 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
 Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
 
 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
 Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.

- (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
+ (./main13.aux
+(./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))

 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
 Package rerunfilecheck Info: File `main13.out' has not changed.
 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
 Package rerunfilecheck Info: File `main13.out' has not changed.

-(rerunfilecheck)             Checksum: BDAE9B6D6DE61206219E655EA40146AA;3248.
+(rerunfilecheck)             Checksum: 10B0C3771DF7ECC4CEE9D23226FE986C;3951.

 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
  ) 
 Here is how much of TeX's memory you used:
 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
  ) 
 Here is how much of TeX's memory you used:

- 11796 strings out of 495059
- 159536 string characters out of 3182030
- 286421 words of memory out of 3000000
- 14358 multiletter control sequences out of 15000+200000
- 97094 words of font info for 97 fonts, out of 3000000 for 9000
+ 12398 strings out of 495002
+ 167203 string characters out of 6180261
+ 283229 words of memory out of 5000000
+ 14740 multiletter control sequences out of 15000+600000
+ 109807 words of font info for 113 fonts, out of 8000000 for 9000

  14 hyphenation exceptions out of 8191
  14 hyphenation exceptions out of 8191

- 30i,13n,32p,465b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
+ 30i,13n,32p,479b,676s stack positions out of 5000i,500n,10000p,200000b,80000s

 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/
 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/

-fonts/enc/dvips/lm/lm-mathex.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy
-.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts
+fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex
+.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts

 /enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
 nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
 r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu
 /enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
 nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
 r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu

-blic/lm/lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share
-/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/
-lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fon
-ts/type1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb
-></usr/share/texmf/fonts/type1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-di
-st/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-dis
-t/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist
-/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/
-urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi
-8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/sh
-are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
-mf-dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on main13.pdf (39 pages, 324131 bytes).
+blic/lm/lmmi12.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/shar
+e/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share/texmf/fonts/type1/public/lm
+/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/f
+onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pf
+b></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/typ
+e1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
+ts/symbols/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
+s/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucr
+b8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr
+/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
+texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texlive/texmf-dist/fon
+ts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/ti
+mes/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb
+>
+Output written on main13.pdf (43 pages, 370852 bytes).

 PDF statistics:
 PDF statistics:

- 804 PDF objects out of 1000 (max. 8388607)
- 736 compressed objects within 8 object streams
- 331 named destinations out of 1000 (max. 500000)
- 345 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 1150 PDF objects out of 1200 (max. 8388607)
+ 1073 compressed objects within 11 object streams
+ 566 named destinations out of 1000 (max. 500000)
+ 425 words of extra memory for PDF output out of 10000 (max. 10000000)