X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/34b60db77561ce94ced0b1e882f22da456a9c68d..2497abf60b295bb735ed64cd2f2f16f0c8b82413:/main13.log?ds=sidebyside diff --git a/main13.log b/main13.log index 113a226..95ac4d9 100644 --- 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 21:26 +This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13) 15 NOV 2013 08:37 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **main13.tex (./main13.tex LaTeX2e <2011/06/27> -Babel 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 @@ -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 -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. @@ -317,20 +316,20 @@ Package: amsbsy 1999/11/29 v1.2d 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 -LaTeX Info: Redefining \overline on input line 307. +LaTeX Info: Redefining \overline on input line 306. \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 -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 @@ -351,18 +350,18 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \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 -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' -(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 -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 @@ -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 -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) ) @@ -389,30 +388,41 @@ Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) \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 -\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 -\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 -ne 1066. +ne 1175. 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) @@ -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) -\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) @@ -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 -\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 @@ -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) -\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) @@ -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 -\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 -\calc@Cskip=\skip62 +\calc@Cskip=\skip65 ) (/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@currlwidth=\dimen128 +\lst@currlwidth=\dimen130 \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@maxwidth=\dimen131 +\lst@maxwidth=\dimen133 (/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 -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 @@ -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) -\LTleft=\skip63 -\LTright=\skip64 -\LTpre=\skip65 -\LTpost=\skip66 +\LTleft=\skip66 +\LTright=\skip67 +\LTpre=\skip68 +\LTpost=\skip69 \LTchunksize=\count122 -\LTcapwidth=\dimen132 +\LTcapwidth=\dimen134 \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@p@ftn=\toks38 +\LT@p@ftn=\toks44 ) (/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 @@ -721,8 +731,8 @@ slashbox style by K.Yasuoka, May 1993. \@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) ) @@ -731,53 +741,47 @@ Package: gastex 2006/11/28 v2.8 \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 -\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 -\bigstrutjot=\dimen144 +\bigstrutjot=\dimen146 ) (/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 -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 -\U@D=\dimen145 +\U@D=\dimen147 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 @@ -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 ) -\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) -\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 -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) @@ -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) ) +(/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) ) -\@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 -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 ) -\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 ) -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: 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 -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. ) -\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'. @@ -954,29 +962,29 @@ Writing index file main13.idx (./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 ) -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. @@ -986,7 +994,7 @@ Specify which optional text to process: \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 @@ -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).] -\scratchcounter=\count184 -\scratchdimen=\dimen159 +\scratchcounter=\count185 +\scratchdimen=\dimen162 \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 @@ -1032,15 +1040,15 @@ LaTeX Info: Redefining \up on input line 217. * layout: * 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 -* \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 @@ -1059,63 +1067,63 @@ LaTeX Info: Redefining \up on input line 217. * (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 -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) ) -\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'. -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 ) -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 ) -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 ) -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 -(Font) <12> on input line 221. +(Font) <12> on input line 215. 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 -(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 -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 -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. @@ -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 -(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 @@ -1138,7 +1146,7 @@ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \relax -l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1} +l.50 ...sembles de nombres entiers}{31}{chapter.5} [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 -(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 @@ -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. - -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 @@ -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. -[4 + [4 ] Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin @@ -1191,599 +1191,163 @@ line 162. 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. - [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. -(./logique/Propositions13.texpdfTeX warning (ext4): destination with the same i -dentifier (name{Def.1}) has been already used, duplicate ignored - - \relax -l.34 \begin{Def} - [Proposition]pdfTeX warning (ext4): destination with the same i -dentifier (name{Exo.1}) has been already used, duplicate ignored - - \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 - - \relax -l.175 \begin{Rem} - [13]pdfTeX warning (ext4): destination with the same identifi -er (name{Exo.2}) has been already used, duplicate ignored - - \relax -l.197 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Rem.2}) has been already used, duplicate ignored - - \relax -l.219 \begin{Rem} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.3}) has been already used, duplicate ignored - - \relax -l.225 \begin{Exoc} - pdfTeX warning (ext4): destination with the same identifier ( -name{Exo.4}) has been already used, duplicate ignored - - \relax -l.256 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.5}) has been already used, duplicate ignored - - \relax -l.289 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.6}) has been already used, duplicate ignored - - \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. -)pdfTeX warning (ext4): destination with the same identifier (name{Th.1}) has b -een already used, duplicate ignored - - \relax -l.400 \begin{Th} - pdfTeX warning (ext4): destination with the same identifier (na -me{Rem.3}) has been already used, duplicate ignored - - \relax -l.420 \begin{Rem} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.7}) has been already used, duplicate ignored - - \relax -l.431 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.8}) has been already used, duplicate ignored - - \relax -l.452 \begin{Exo} - [15]pdfTeX warning (ext4): destination with the same identifi -er (name{Exo.9}) has been already used, duplicate ignored - - \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- +) [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{Th.2}) has be -en already used, duplicate ignored - - \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 - [] - -pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has -been already used, duplicate ignored - - \relax -l.499 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Th.3}) has been already used, duplicate ignored - - \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 - - \relax -l.528 \begin{Exoc} - [16]pdfTeX warning (ext4): destination with the same identif -ier (name{Exo.12}) has been already used, duplicate ignored - - \relax -l.573 \begin{Exoc} - pdfTeX warning (ext4): destination with the same identifier ( -name{Exo.13}) has been already used, duplicate ignored - - \relax -l.602 \begin{Exo} - [17]pdfTeX warning (ext4): destination with the same identifi -er (name{Def.2}) has been already used, duplicate ignored - - \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 - - \relax -l.803 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Def.3}) has been already used, duplicate ignored - - \relax -l.842 \begin{Def} - [Tautologie] +[14] [15] 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 - - \relax -l.861 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.16}) has been already used, duplicate ignored - - \relax -l.867 \begin{Ex} - [18]pdfTeX warning (ext4): destination with the same identifie -r (name{Exo.17}) has been already used, duplicate ignored - - \relax -l.923 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Def.4}) has been already used, duplicate ignored - - \relax -l.950 \begin{Def} - [Antilogie]pdfTeX warning (ext4): destination with the same id -entifier (name{Exo.18}) has been already used, duplicate ignored - - \relax -l.958 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.19}) has been already used, duplicate ignored - - \relax -l.969 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Def.5}) has been already used, duplicate ignored - - \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 - - \relax -l.1023 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.21}) has been already used, duplicate ignored - - \relax -l.1065 \begin{Exo} - [19]pdfTeX warning (ext4): destination with the same identif -ier (name{Exo.22}) has been already used, duplicate ignored - - \relax -l.1086 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier ( -name{Def.6}) has been already used, duplicate ignored - - \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 -[20]pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) ha -s been already used, duplicate ignored - - \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 +] +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 . [] -pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) has - been already used, duplicate ignored - - \relax -l.1284 \begin{Proof} - [21]pdfTeX warning (ext4): destination with the same ident -ifier (name{Th.5}) has been already used, duplicate ignored - - \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 - - \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?) +[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- [] -[23]) [24] [25 +) [26] +Chapitre 4. +(./ensembles/relbin13.tex [27 -] -Chapitre 3. -(./ensembles/IntroAuxEnsembles13.texpdfTeX warning (ext4): destination with the - same identifier (name{Notation.1}) has been already used, duplicate ignored - - \relax -l.16 \begin{Notation} - pdfTeX warning (ext4): destination with the same identifie -r (name{Exo.1}) has been already used, duplicate ignored - - \relax -l.20 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (na -me{Def.1}) has been already used, duplicate ignored - - \relax -l.55 \begin{Def} - pdfTeX warning (ext4): destination with the same identifier (na -me{Th.1}) has been already used, duplicate ignored - - \relax -l.60 \begin{Th} - [26 +] [28] +Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li +ne 301. -]pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) ha -s been already used, duplicate ignored - - \relax -l.64 \begin{Proof} - pdfTeX warning (ext4): destination with the same identifier ( -name{Th.2}) has been already used, duplicate ignored - - \relax -l.72 \begin{Th} - pdfTeX warning (ext4): destination with the same identifier (nam -e{Def.2}) has been already used, duplicate ignored - - \relax -l.77 \begin{Def} - pdfTeX warning (ext4): destination with the same identifier (na -me{Th.3}) has been already used, duplicate ignored - - \relax -l.83 \begin{Th} - pdfTeX warning (ext4): destination with the same identifier (nam -e{Exo.2}) has been already used, duplicate ignored - - \relax -l.88 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (nam -e{Exo.3}) has been already used, duplicate ignored - - \relax -l.93 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.4}) has been already used, duplicate ignored - - \relax -l.98 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.5}) has been already used, duplicate ignored - - \relax -l.110 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.6}) has been already used, duplicate ignored - - \relax -l.117 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.7}) has been already used, duplicate ignored - - \relax -l.122 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Def.3}) has been already used, duplicate ignored - - \relax -l.131 \begin{Def} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.8}) has been already used, duplicate ignored - - \relax -l.139 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Def.4}) has been already used, duplicate ignored - - \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 - - \relax -l.155 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Def.5}) has been already used, duplicate ignored - - \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- +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 :$ [] -pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) has be -en already used, duplicate ignored - - \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 +) [29] [30 + +] +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{Exo.10}) has -been already used, duplicate ignored - - \relax -l.181 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.11}) has been already used, duplicate ignored - - \relax -l.185 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Th.5}) has been already used, duplicate ignored - - \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 - - \relax -l.198 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Def.6}) has been already used, duplicate ignored - - \relax -l.205 \begin{Def} - [Complémentation]pdfTeX warning (ext4): destination with the -same identifier (name{Th.6}) has been already used, duplicate ignored - - \relax -l.211 \begin{Th} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.13}) has been already used, duplicate ignored - - \relax -l.221 \begin{Exo} - [28]pdfTeX warning (ext4): destination with the same identifi -er (name{Exo.14}) has been already used, duplicate ignored - - \relax -l.247 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.15}) has been already used, duplicate ignored - - \relax -l.257 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.16}) has been already used, duplicate ignored - - \relax -l.277 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.17}) has been already used, duplicate ignored - - \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 - - \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 - - \relax -l.15 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (na -me{Rem.1}) has been already used, duplicate ignored - - \relax -l.27 \begin{Rem} - pdfTeX warning (ext4): destination with the same identifier (na -me{Def.2}) has been already used, duplicate ignored - - \relax -l.54 \begin{Def} - [Réflexivité]pdfTeX warning (ext4): destination with the same - identifier (name{Def.3}) has been already used, duplicate ignored - - \relax -l.61 \begin{Def} - [Antisymétrie]pdfTeX warning (ext4): destination with the same - identifier (name{Def.4}) has been already used, duplicate ignored - - \relax -l.71 \begin{Def} - [Transitivité]pdfTeX warning (ext4): destination with the same - identifier (name{Exo.2}) has been already used, duplicate ignored - - \relax -l.81 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.3}) has been already used, duplicate ignored - - \relax -l.93 \begin{Exo} - [30 +[31 + +] +LaTeX Font Info: External font `lmex10' loaded for size +(Font) <14.4> on input line 255. + + +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{Def.5}) has -been already used, duplicate ignored - - \relax -l.115 \begin{Def} - [Relation d'ordre]pdfTeX warning (ext4): destination with the -same identifier (name{Exo.4}) has been already used, duplicate ignored - - \relax -l.120 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.5}) has been already used, duplicate ignored - - \relax -l.124 \begin{Ex} - [Relation de divisibilité]pdfTeX warning (ext4): destination w -ith the same identifier (name{Exo.6}) has been already used, duplicate ignored - - \relax -l.145 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.7}) has been already used, duplicate ignored - - \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 - - \relax -l.185 \begin{Def} - [Relation symétrique]pdfTeX warning (ext4): destination with -the same identifier (name{Def.7}) has been already used, duplicate ignored - - \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- [] -pdfTeX warning (ext4): destination with the same identifier (name{Exo.8}) has b -een already used, duplicate ignored - - \relax -l.199 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.9}) has been already used, duplicate ignored - - \relax -l.205 \begin{Ex} - [Relation de congruence modulo $n$ dans $\Z$] [31]pdfTeX warnin -g (ext4): destination with the same identifier (name{Exo.10}) has been already -used, duplicate ignored - - \relax -l.225 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Notation.1}) has been already used, duplicate ignored - - \relax -l.250 \begin{Notation} - pdfTeX warning (ext4): destination with the same identifi -er (name{Exo.11}) has been already used, duplicate ignored - - \relax -l.255 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.12}) has been already used, duplicate ignored - - \relax -l.264 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Th.1}) has been already used, duplicate ignored - - \relax -l.294 \begin{Th} - -Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li -ne 301. -pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be -en already used, duplicate ignored - - \relax -l.318 \begin{Th} - [32]pdfTeX warning (ext4): destination with the same identifie -r (name{Exo.13}) has been already used, duplicate ignored - - \relax -l.328 \begin{Ex} - pdfTeX warning (ext4): destination with the same identifier (na -me{Exo.14}) has been already used, duplicate ignored - - \relax -l.343 \begin{Exo} - pdfTeX warning (ext4): destination with the same identifier (n -ame{Exo.15}) has been already used, duplicate ignored - - \relax -l.355 \begin{Exo} - ) [33] [34 +[37]) [38] [39 ] \openout2 = `PPN.aux'. (./PPN.tex -Chapitre 5. -) [35 +Chapitre 6. +) [40 ] No file main13.ind. -(./main13.bbl) [36 +(./main13.bbl) [41 ] @@ -1792,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. - -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- - [] - -) [37 +) [42 ] @@ -1811,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. - (./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. -(rerunfilecheck) Checksum: B510A10B4C2809C1121D155E1D0BF426;3178. +(rerunfilecheck) Checksum: 10B0C3771DF7ECC4CEE9D23226FE986C;3951. Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336. ) Here is how much of TeX's memory you used: - 11789 strings out of 495059 - 159454 string characters out of 3182030 - 286421 words of memory out of 3000000 - 14355 multiletter control sequences out of 15000+200000 - 97094 words of font info for 97 fonts, out of 3000000 for 9000 + 12395 strings out of 495002 + 167172 string characters out of 6180261 + 283229 words of memory out of 5000000 + 14738 multiletter control sequences out of 15000+600000 + 109186 words of font info for 111 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 - 30i,13n,32p,469b,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/ -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} -Output written on main13.pdf (38 pages, 320746 bytes). +blic/lm/lmmi12.pfb> +Output written on main13.pdf (43 pages, 369126 bytes). PDF statistics: - 792 PDF objects out of 1000 (max. 8388607) - 725 compressed objects within 8 object streams - 327 named destinations out of 1000 (max. 500000) - 337 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)