main13.log

   1 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
   2 entering extended mode
   3  restricted \write18 enabled.
   4  %&-line parsing enabled.
   5 **main13.tex
   6 (./main13.tex
   7 LaTeX2e <2011/06/27>
   8 Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
   9 aded.
  10 (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
  11 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
  12 (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
  13 File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
  14 )
  15 \c@part=\count79
  16 \c@chapter=\count80
  17 \c@section=\count81
  18 \c@subsection=\count82
  19 \c@subsubsection=\count83
  20 \c@paragraph=\count84
  21 \c@subparagraph=\count85
  22 \c@figure=\count86
  23 \c@table=\count87
  24 \abovecaptionskip=\skip41
  25 \belowcaptionskip=\skip42
  26 \bibindent=\dimen102
  27 ) (./hyperlatex.sty
  28 Package: hyperlatex 2004/11/12 v2.8 LaTeX2e package for Hyperlatex mode
  29
  30 Package: 'hyperlatex' v2.7 Otfried Cheong
  31 (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
  32 Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
  33 \every@verbatim=\toks14
  34 \verbatim@line=\toks15
  35 \verbatim@in@stream=\read1
  36 )
  37 \c@htmldepth=\count88
  38 \c@htmlautomenu=\count89
  39 )
  40 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
  41 Package: inputenc 2008/03/30 v1.1d Input encoding file
  42 \inpenc@prehook=\toks16
  43 \inpenc@posthook=\toks17
  44
  45 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
  46 File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
  47 Now handling font encoding OML ...
  48 ... no UTF-8 mapping file for font encoding OML
  49 Now handling font encoding T1 ...
  50 ... processing UTF-8 mapping file for font encoding T1
  51
  52 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
  53 File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
  54    defining Unicode char U+00A1 (decimal 161)
  55    defining Unicode char U+00A3 (decimal 163)
  56    defining Unicode char U+00AB (decimal 171)
  57    defining Unicode char U+00BB (decimal 187)
  58    defining Unicode char U+00BF (decimal 191)
  59    defining Unicode char U+00C0 (decimal 192)
  60    defining Unicode char U+00C1 (decimal 193)
  61    defining Unicode char U+00C2 (decimal 194)
  62    defining Unicode char U+00C3 (decimal 195)
  63    defining Unicode char U+00C4 (decimal 196)
  64    defining Unicode char U+00C5 (decimal 197)
  65    defining Unicode char U+00C6 (decimal 198)
  66    defining Unicode char U+00C7 (decimal 199)
  67    defining Unicode char U+00C8 (decimal 200)
  68    defining Unicode char U+00C9 (decimal 201)
  69    defining Unicode char U+00CA (decimal 202)
  70    defining Unicode char U+00CB (decimal 203)
  71    defining Unicode char U+00CC (decimal 204)
  72    defining Unicode char U+00CD (decimal 205)
  73    defining Unicode char U+00CE (decimal 206)
  74    defining Unicode char U+00CF (decimal 207)
  75    defining Unicode char U+00D0 (decimal 208)
  76    defining Unicode char U+00D1 (decimal 209)
  77    defining Unicode char U+00D2 (decimal 210)
  78    defining Unicode char U+00D3 (decimal 211)
  79    defining Unicode char U+00D4 (decimal 212)
  80    defining Unicode char U+00D5 (decimal 213)
  81    defining Unicode char U+00D6 (decimal 214)
  82    defining Unicode char U+00D8 (decimal 216)
  83    defining Unicode char U+00D9 (decimal 217)
  84    defining Unicode char U+00DA (decimal 218)
  85    defining Unicode char U+00DB (decimal 219)
  86    defining Unicode char U+00DC (decimal 220)
  87    defining Unicode char U+00DD (decimal 221)
  88    defining Unicode char U+00DE (decimal 222)
  89    defining Unicode char U+00DF (decimal 223)
  90    defining Unicode char U+00E0 (decimal 224)
  91    defining Unicode char U+00E1 (decimal 225)
  92    defining Unicode char U+00E2 (decimal 226)
  93    defining Unicode char U+00E3 (decimal 227)
  94    defining Unicode char U+00E4 (decimal 228)
  95    defining Unicode char U+00E5 (decimal 229)
  96    defining Unicode char U+00E6 (decimal 230)
  97    defining Unicode char U+00E7 (decimal 231)
  98    defining Unicode char U+00E8 (decimal 232)
  99    defining Unicode char U+00E9 (decimal 233)
 100    defining Unicode char U+00EA (decimal 234)
 101    defining Unicode char U+00EB (decimal 235)
 102    defining Unicode char U+00EC (decimal 236)
 103    defining Unicode char U+00ED (decimal 237)
 104    defining Unicode char U+00EE (decimal 238)
 105    defining Unicode char U+00EF (decimal 239)
 106    defining Unicode char U+00F0 (decimal 240)
 107    defining Unicode char U+00F1 (decimal 241)
 108    defining Unicode char U+00F2 (decimal 242)
 109    defining Unicode char U+00F3 (decimal 243)
 110    defining Unicode char U+00F4 (decimal 244)
 111    defining Unicode char U+00F5 (decimal 245)
 112    defining Unicode char U+00F6 (decimal 246)
 113    defining Unicode char U+00F8 (decimal 248)
 114    defining Unicode char U+00F9 (decimal 249)
 115    defining Unicode char U+00FA (decimal 250)
 116    defining Unicode char U+00FB (decimal 251)
 117    defining Unicode char U+00FC (decimal 252)
 118    defining Unicode char U+00FD (decimal 253)
 119    defining Unicode char U+00FE (decimal 254)
 120    defining Unicode char U+00FF (decimal 255)
 121    defining Unicode char U+0102 (decimal 258)
 122    defining Unicode char U+0103 (decimal 259)
 123    defining Unicode char U+0104 (decimal 260)
 124    defining Unicode char U+0105 (decimal 261)
 125    defining Unicode char U+0106 (decimal 262)
 126    defining Unicode char U+0107 (decimal 263)
 127    defining Unicode char U+010C (decimal 268)
 128    defining Unicode char U+010D (decimal 269)
 129    defining Unicode char U+010E (decimal 270)
 130    defining Unicode char U+010F (decimal 271)
 131    defining Unicode char U+0110 (decimal 272)
 132    defining Unicode char U+0111 (decimal 273)
 133    defining Unicode char U+0118 (decimal 280)
 134    defining Unicode char U+0119 (decimal 281)
 135    defining Unicode char U+011A (decimal 282)
 136    defining Unicode char U+011B (decimal 283)
 137    defining Unicode char U+011E (decimal 286)
 138    defining Unicode char U+011F (decimal 287)
 139    defining Unicode char U+0130 (decimal 304)
 140    defining Unicode char U+0131 (decimal 305)
 141    defining Unicode char U+0132 (decimal 306)
 142    defining Unicode char U+0133 (decimal 307)
 143    defining Unicode char U+0139 (decimal 313)
 144    defining Unicode char U+013A (decimal 314)
 145    defining Unicode char U+013D (decimal 317)
 146    defining Unicode char U+013E (decimal 318)
 147    defining Unicode char U+0141 (decimal 321)
 148    defining Unicode char U+0142 (decimal 322)
 149    defining Unicode char U+0143 (decimal 323)
 150    defining Unicode char U+0144 (decimal 324)
 151    defining Unicode char U+0147 (decimal 327)
 152    defining Unicode char U+0148 (decimal 328)
 153    defining Unicode char U+014A (decimal 330)
 154    defining Unicode char U+014B (decimal 331)
 155    defining Unicode char U+0150 (decimal 336)
 156    defining Unicode char U+0151 (decimal 337)
 157    defining Unicode char U+0152 (decimal 338)
 158    defining Unicode char U+0153 (decimal 339)
 159    defining Unicode char U+0154 (decimal 340)
 160    defining Unicode char U+0155 (decimal 341)
 161    defining Unicode char U+0158 (decimal 344)
 162    defining Unicode char U+0159 (decimal 345)
 163    defining Unicode char U+015A (decimal 346)
 164    defining Unicode char U+015B (decimal 347)
 165    defining Unicode char U+015E (decimal 350)
 166    defining Unicode char U+015F (decimal 351)
 167    defining Unicode char U+0160 (decimal 352)
 168    defining Unicode char U+0161 (decimal 353)
 169    defining Unicode char U+0162 (decimal 354)
 170    defining Unicode char U+0163 (decimal 355)
 171    defining Unicode char U+0164 (decimal 356)
 172    defining Unicode char U+0165 (decimal 357)
 173    defining Unicode char U+016E (decimal 366)
 174    defining Unicode char U+016F (decimal 367)
 175    defining Unicode char U+0170 (decimal 368)
 176    defining Unicode char U+0171 (decimal 369)
 177    defining Unicode char U+0178 (decimal 376)
 178    defining Unicode char U+0179 (decimal 377)
 179    defining Unicode char U+017A (decimal 378)
 180    defining Unicode char U+017B (decimal 379)
 181    defining Unicode char U+017C (decimal 380)
 182    defining Unicode char U+017D (decimal 381)
 183    defining Unicode char U+017E (decimal 382)
 184    defining Unicode char U+200C (decimal 8204)
 185    defining Unicode char U+2013 (decimal 8211)
 186    defining Unicode char U+2014 (decimal 8212)
 187    defining Unicode char U+2018 (decimal 8216)
 188    defining Unicode char U+2019 (decimal 8217)
 189    defining Unicode char U+201A (decimal 8218)
 190    defining Unicode char U+201C (decimal 8220)
 191    defining Unicode char U+201D (decimal 8221)
 192    defining Unicode char U+201E (decimal 8222)
 193    defining Unicode char U+2030 (decimal 8240)
 194    defining Unicode char U+2031 (decimal 8241)
 195    defining Unicode char U+2039 (decimal 8249)
 196    defining Unicode char U+203A (decimal 8250)
 197    defining Unicode char U+2423 (decimal 9251)
 198 )
 199 Now handling font encoding OT1 ...
 200 ... processing UTF-8 mapping file for font encoding OT1
 201
 202 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
 203 File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 204    defining Unicode char U+00A1 (decimal 161)
 205    defining Unicode char U+00A3 (decimal 163)
 206    defining Unicode char U+00B8 (decimal 184)
 207    defining Unicode char U+00BF (decimal 191)
 208    defining Unicode char U+00C5 (decimal 197)
 209    defining Unicode char U+00C6 (decimal 198)
 210    defining Unicode char U+00D8 (decimal 216)
 211    defining Unicode char U+00DF (decimal 223)
 212    defining Unicode char U+00E6 (decimal 230)
 213    defining Unicode char U+00EC (decimal 236)
 214    defining Unicode char U+00ED (decimal 237)
 215    defining Unicode char U+00EE (decimal 238)
 216    defining Unicode char U+00EF (decimal 239)
 217    defining Unicode char U+00F8 (decimal 248)
 218    defining Unicode char U+0131 (decimal 305)
 219    defining Unicode char U+0141 (decimal 321)
 220    defining Unicode char U+0142 (decimal 322)
 221    defining Unicode char U+0152 (decimal 338)
 222    defining Unicode char U+0153 (decimal 339)
 223    defining Unicode char U+2013 (decimal 8211)
 224    defining Unicode char U+2014 (decimal 8212)
 225    defining Unicode char U+2018 (decimal 8216)
 226    defining Unicode char U+2019 (decimal 8217)
 227    defining Unicode char U+201C (decimal 8220)
 228    defining Unicode char U+201D (decimal 8221)
 229 )
 230 Now handling font encoding OMS ...
 231 ... processing UTF-8 mapping file for font encoding OMS
 232
 233 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
 234 File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 235    defining Unicode char U+00A7 (decimal 167)
 236    defining Unicode char U+00B6 (decimal 182)
 237    defining Unicode char U+00B7 (decimal 183)
 238    defining Unicode char U+2020 (decimal 8224)
 239    defining Unicode char U+2021 (decimal 8225)
 240    defining Unicode char U+2022 (decimal 8226)
 241 )
 242 Now handling font encoding OMX ...
 243 ... no UTF-8 mapping file for font encoding OMX
 244 Now handling font encoding U ...
 245 ... no UTF-8 mapping file for font encoding U
 246    defining Unicode char U+00A9 (decimal 169)
 247    defining Unicode char U+00AA (decimal 170)
 248    defining Unicode char U+00AE (decimal 174)
 249    defining Unicode char U+00BA (decimal 186)
 250    defining Unicode char U+02C6 (decimal 710)
 251    defining Unicode char U+02DC (decimal 732)
 252    defining Unicode char U+200C (decimal 8204)
 253    defining Unicode char U+2026 (decimal 8230)
 254    defining Unicode char U+2122 (decimal 8482)
 255    defining Unicode char U+2423 (decimal 9251)
 256 ))
 257 (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
 258 Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
 259
 260 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
 261 File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
 262 LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
 263 ))
 264 (/usr/share/texmf/tex/latex/lm/lmodern.sty
 265 Package: lmodern 2009/10/30 v1.6 Latin Modern Fonts
 266 LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
 267 (Font)                  OT1/cmr/m/n --> OT1/lmr/m/n on input line 22.
 268 LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
 269 (Font)                  OML/cmm/m/it --> OML/lmm/m/it on input line 23.
 270 LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
 271 (Font)                  OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24.
 272 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
 273 (Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 25.
 274 LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
 275 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26.
 276 LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
 277 (Font)                  OML/cmm/b/it --> OML/lmm/b/it on input line 27.
 278 LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
 279 (Font)                  OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28.
 280 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
 281 (Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 29.
 282 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
 283 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31.
 284 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
 285 (Font)                  OT1/cmss/m/n --> OT1/lmss/m/n on input line 32.
 286 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
 287 (Font)                  OT1/cmr/m/it --> OT1/lmr/m/it on input line 33.
 288 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
 289 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34.
 290 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
 291 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35.
 292 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
 293 (Font)                  OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36.
 294 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
 295 (Font)                  OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37.
 296 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
 297 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
 298 )
 299 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
 300 Package: amsmath 2000/07/18 v2.13 AMS math features
 301 \@mathmargin=\skip43
 302
 303 For additional information on amsmath, use the `?' option.
 304 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
 305 Package: amstext 2000/06/29 v2.01
 306
 307 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
 308 File: amsgen.sty 1999/11/30 v2.0
 309 \@emptytoks=\toks18
 310 \ex@=\dimen103
 311 ))
 312 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
 313 Package: amsbsy 1999/11/29 v1.2d
 314 \pmbraise@=\dimen104
 315 )
 316 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
 317 Package: amsopn 1999/12/14 v2.01 operator names
 318 )
 319 \inf@bad=\count90
 320 LaTeX Info: Redefining \frac on input line 211.
 321 \uproot@=\count91
 322 \leftroot@=\count92
 323 LaTeX Info: Redefining \overline on input line 307.
 324 \classnum@=\count93
 325 \DOTSCASE@=\count94
 326 LaTeX Info: Redefining \ldots on input line 379.
 327 LaTeX Info: Redefining \dots on input line 382.
 328 LaTeX Info: Redefining \cdots on input line 467.
 329 \Mathstrutbox@=\box26
 330 \strutbox@=\box27
 331 \big@size=\dimen105
 332 LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
 333 LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
 334 \macc@depth=\count95
 335 \c@MaxMatrixCols=\count96
 336 \dotsspace@=\muskip10
 337 \c@parentequation=\count97
 338 \dspbrk@lvl=\count98
 339 \tag@help=\toks19
 340 \row@=\count99
 341 \column@=\count100
 342 \maxfields@=\count101
 343 \andhelp@=\toks20
 344 \eqnshift@=\dimen106
 345 \alignsep@=\dimen107
 346 \tagshift@=\dimen108
 347 \tagwidth@=\dimen109
 348 \totwidth@=\dimen110
 349 \lineht@=\dimen111
 350 \@envbody=\toks21
 351 \multlinegap=\skip44
 352 \multlinetaggap=\skip45
 353 \mathdisplay@stack=\toks22
 354 LaTeX Info: Redefining \[ on input line 2666.
 355 LaTeX Info: Redefining \] on input line 2667.
 356 )
 357 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
 358 Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
 359 \symAMSa=\mathgroup4
 360 \symAMSb=\mathgroup5
 361 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 362 (Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
 363 )
 364 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
 365 Package: amssymb 2009/06/22 v3.00
 366 )
 367 (/usr/share/texlive/texmf-dist/tex/latex/optional/optional.sty
 368 Package: optional 2005/01/26 ver 2.2b;  Optional inclusion/omission
 369 )
 370 (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty
 371 Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
 372 \OuterFrameSep=\skip46
 373 \fb@frw=\dimen112
 374 \fb@frh=\dimen113
 375 \FrameRule=\dimen114
 376 \FrameSep=\dimen115
 377 )
 378 (/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty
 379 Style `ntheorem', Version 1.31 <2011/02/16>
 380 Package: ntheorem 2011/02/16 1.31
 381 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
 382 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 383 )
 384 \theorem@style=\toks23
 385 \theorem@@style=\toks24
 386 \theorembodyfont=\toks25
 387 \theoremnumbering=\toks26
 388 \theorempreskipamount=\skip47
 389 \theorempostskipamount=\skip48
 390 \theoremframepreskipamount=\skip49
 391 \theoremframepostskipamount=\skip50
 392 \theoremindent=\dimen116
 393 \theorem@indent=\dimen117
 394 \theoremheaderfont=\toks27
 395 \theoremseparator=\toks28
 396 \theoremprework=\toks29
 397 \theorempostwork=\toks30
 398 \theoremsymbol=\toks31
 399 \qedsymbol=\toks32
 400 \theoremkeyword=\toks33
 401 \qedsymbol=\toks34
 402 \thm@topsepadd=\skip51
 403 Package ntheorem Info: Option `thmmarks' loaded on input line 1066.
 404 \c@endNonectr=\count102
 405 \c@currNonectr=\count103
 406 \mysavskip=\skip52
 407 Package ntheorem Info: Option `thref' loaded on input line 1066.
 408 \mysavskip=\skip53
 409 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
 410 ne 1066.
 411 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
 412  line 1066.
 413 \thm@amstmpdepth=\dimen118
 414 \tagwidth=\dimen119
 415 \shadecolor=\toks35
 416 )
 417 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 418 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 419
 420 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
 421 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 422 )
 423 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
 424 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
 425 )
 426 Package graphics Info: Driver file: dvips.def on input line 91.
 427
 428 (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def
 429 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
 430 ))
 431 (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
 432 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
 433
 434 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
 435 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 436
 437 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
 438 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
 439 \KV@toks@=\toks36
 440 )
 441 \Gin@req@height=\dimen120
 442 \Gin@req@width=\dimen121
 443 )
 444 \epsfxsize=\dimen122
 445 \epsfysize=\dimen123
 446 )
 447 (/usr/share/texlive/texmf-dist/tex/latex/psfrag/psfrag.sty
 448 Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
 449 \pfg@pcount=\count104
 450 \pfg@scount=\count105
 451 \pfg@temp=\write3
 452 )
 453 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 454 Package: subfigure 2002/03/15 v2.1.5 subfigure package
 455 \subfigtopskip=\skip54
 456 \subfigcapskip=\skip55
 457 \subfigcaptopadj=\dimen124
 458 \subfigbottomskip=\skip56
 459 \subfigcapmargin=\dimen125
 460 \subfiglabelskip=\skip57
 461 \c@subfigure=\count106
 462 \c@lofdepth=\count107
 463 \c@subtable=\count108
 464 \c@lotdepth=\count109
 465
 466 ****************************************
 467 * Local config file subfigure.cfg used *
 468 ****************************************
 469 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
 470 \subfig@top=\skip58
 471 \subfig@bottom=\skip59
 472 )
 473 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
 474 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
 475
 476 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
 477 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
 478 )
 479 Package color Info: Driver file: pdftex.def on input line 130.
 480
 481 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
 482 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
 483
 484 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
 485 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
 486 )
 487 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
 488 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
 489 )
 490 \Gread@gobject=\count110
 491 ))
 492 (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
 493 Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
 494 \calc@Acount=\count111
 495 \calc@Bcount=\count112
 496 \calc@Adimen=\dimen126
 497 \calc@Bdimen=\dimen127
 498 \calc@Askip=\skip60
 499 \calc@Bskip=\skip61
 500 LaTeX Info: Redefining \setlength on input line 76.
 501 LaTeX Info: Redefining \addtolength on input line 77.
 502 \calc@Ccount=\count113
 503 \calc@Cskip=\skip62
 504 )
 505 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 506 \lst@mode=\count114
 507 \lst@gtempboxa=\box28
 508 \lst@token=\toks37
 509 \lst@length=\count115
 510 \lst@currlwidth=\dimen128
 511 \lst@column=\count116
 512 \lst@pos=\count117
 513 \lst@lostspace=\dimen129
 514 \lst@width=\dimen130
 515 \lst@newlines=\count118
 516 \lst@lineno=\count119
 517 \lst@maxwidth=\dimen131
 518
 519 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 520 File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
 521 \c@lstnumber=\count120
 522 \lst@skipnumbers=\count121
 523 \lst@framebox=\box29
 524 )
 525 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
 526 File: listings.cfg 2007/02/22 1.4 listings configuration
 527 ))
 528 Package: listings 2007/02/22 1.4 (Carsten Heinz)
 529
 530 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 531 \Urlmuskip=\muskip11
 532 Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
 533 )
 534 (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty
 535 Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
 536 )
 537 (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
 538 Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
 539 \LTleft=\skip63
 540 \LTright=\skip64
 541 \LTpre=\skip65
 542 \LTpost=\skip66
 543 \LTchunksize=\count122
 544 \LTcapwidth=\dimen132
 545 \LT@head=\box30
 546 \LT@firsthead=\box31
 547 \LT@foot=\box32
 548 \LT@lastfoot=\box33
 549 \LT@cols=\count123
 550 \LT@rows=\count124
 551 \c@LT@tables=\count125
 552 \c@LT@chunks=\count126
 553 \LT@p@ftn=\toks38
 554 )
 555 (/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty
 556 \tablinesep=\dimen133
 557 \arraylinesep=\dimen134
 558 \extrarulesep=\dimen135
 559 \@arstdepth=\dimen136
 560 \@arstheight=\dimen137
 561 \@skip@bove=\dimen138
 562 )
 563 (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
 564 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
 565 Package textcomp Info: Sub-encoding information:
 566 (textcomp)               5 = only ISO-Adobe without \textcurrency
 567 (textcomp)               4 = 5 + \texteuro
 568 (textcomp)               3 = 4 + \textohm
 569 (textcomp)               2 = 3 + \textestimated + \textcurrency
 570 (textcomp)               1 = TS1 - \textcircled - \t
 571 (textcomp)               0 = TS1 (full)
 572 (textcomp)             Font families with sub-encoding setting implement
 573 (textcomp)             only a restricted character set as indicated.
 574 (textcomp)             Family '?' is the default used for unknown fonts.
 575 (textcomp)             See the documentation for details.
 576 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
 577
 578 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
 579 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
 580 Now handling font encoding TS1 ...
 581 ... processing UTF-8 mapping file for font encoding TS1
 582
 583 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu
 584 File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 585    defining Unicode char U+00A2 (decimal 162)
 586    defining Unicode char U+00A3 (decimal 163)
 587    defining Unicode char U+00A4 (decimal 164)
 588    defining Unicode char U+00A5 (decimal 165)
 589    defining Unicode char U+00A6 (decimal 166)
 590    defining Unicode char U+00A7 (decimal 167)
 591    defining Unicode char U+00A8 (decimal 168)
 592    defining Unicode char U+00A9 (decimal 169)
 593    defining Unicode char U+00AA (decimal 170)
 594    defining Unicode char U+00AC (decimal 172)
 595    defining Unicode char U+00AE (decimal 174)
 596    defining Unicode char U+00AF (decimal 175)
 597    defining Unicode char U+00B0 (decimal 176)
 598    defining Unicode char U+00B1 (decimal 177)
 599    defining Unicode char U+00B2 (decimal 178)
 600    defining Unicode char U+00B3 (decimal 179)
 601    defining Unicode char U+00B4 (decimal 180)
 602    defining Unicode char U+00B5 (decimal 181)
 603    defining Unicode char U+00B6 (decimal 182)
 604    defining Unicode char U+00B7 (decimal 183)
 605    defining Unicode char U+00B9 (decimal 185)
 606    defining Unicode char U+00BA (decimal 186)
 607    defining Unicode char U+00BC (decimal 188)
 608    defining Unicode char U+00BD (decimal 189)
 609    defining Unicode char U+00BE (decimal 190)
 610    defining Unicode char U+00D7 (decimal 215)
 611    defining Unicode char U+00F7 (decimal 247)
 612    defining Unicode char U+0192 (decimal 402)
 613    defining Unicode char U+02C7 (decimal 711)
 614    defining Unicode char U+02D8 (decimal 728)
 615    defining Unicode char U+02DD (decimal 733)
 616    defining Unicode char U+0E3F (decimal 3647)
 617    defining Unicode char U+2016 (decimal 8214)
 618    defining Unicode char U+2020 (decimal 8224)
 619    defining Unicode char U+2021 (decimal 8225)
 620    defining Unicode char U+2022 (decimal 8226)
 621    defining Unicode char U+2030 (decimal 8240)
 622    defining Unicode char U+2031 (decimal 8241)
 623    defining Unicode char U+203B (decimal 8251)
 624    defining Unicode char U+203D (decimal 8253)
 625    defining Unicode char U+2044 (decimal 8260)
 626    defining Unicode char U+204E (decimal 8270)
 627    defining Unicode char U+2052 (decimal 8274)
 628    defining Unicode char U+20A1 (decimal 8353)
 629    defining Unicode char U+20A4 (decimal 8356)
 630    defining Unicode char U+20A6 (decimal 8358)
 631    defining Unicode char U+20A9 (decimal 8361)
 632    defining Unicode char U+20AB (decimal 8363)
 633    defining Unicode char U+20AC (decimal 8364)
 634    defining Unicode char U+20B1 (decimal 8369)
 635    defining Unicode char U+2103 (decimal 8451)
 636    defining Unicode char U+2116 (decimal 8470)
 637    defining Unicode char U+2117 (decimal 8471)
 638    defining Unicode char U+211E (decimal 8478)
 639    defining Unicode char U+2120 (decimal 8480)
 640    defining Unicode char U+2122 (decimal 8482)
 641    defining Unicode char U+2126 (decimal 8486)
 642    defining Unicode char U+2127 (decimal 8487)
 643    defining Unicode char U+212E (decimal 8494)
 644    defining Unicode char U+2190 (decimal 8592)
 645    defining Unicode char U+2191 (decimal 8593)
 646    defining Unicode char U+2192 (decimal 8594)
 647    defining Unicode char U+2193 (decimal 8595)
 648    defining Unicode char U+2329 (decimal 9001)
 649    defining Unicode char U+232A (decimal 9002)
 650    defining Unicode char U+2422 (decimal 9250)
 651    defining Unicode char U+25E6 (decimal 9702)
 652    defining Unicode char U+25EF (decimal 9711)
 653    defining Unicode char U+266A (decimal 9834)
 654 ))
 655 LaTeX Info: Redefining \oldstylenums on input line 266.
 656 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
 657 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
 658 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
 659 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
 660 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
 661 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
 662 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
 663 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
 664 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
 665 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
 666 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
 667 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
 668 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
 669 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
 670 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
 671 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
 672 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
 673 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
 674 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
 675 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
 676 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
 677 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
 678 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
 679 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
 680
 681 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
 682 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
 683 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
 684 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
 685 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
 686 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
 687 Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
 688 Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
 689 Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
 690 Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
 691 Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
 692 Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
 693 Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
 694 Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
 695 Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
 696 Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
 697 Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
 698 Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
 699 Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
 700 Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
 701 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
 702 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
 703 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
 704 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
 705 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
 706 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
 707 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
 708 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
 709 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
 710 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
 711 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
 712 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
 713 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
 714 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
 715 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
 716 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
 717 ) (./slashbox.sty
 718 slashbox style by K.Yasuoka, May 1993.
 719 \@slashboxa=\box34
 720 \@slashboxb=\box35
 721 \@slashboxc=\box36
 722 \@slashboxwd=\count127
 723 \@slashboxht=\count128
 724 \@slashsepl=\dimen139
 725 \@slashsepr=\dimen140
 726 ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
 727 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
 728 )
 729 (/usr/share/texlive/texmf-dist/tex/latex/gastex/gastex.sty
 730 Package: gastex 2006/11/28 v2.8
 731 \c@cnt@a=\count129
 732 \c@cnt@b=\count130
 733 \c@cnt@c=\count131
 734 \dim@x=\dimen141
 735 \dim@y=\dimen142
 736 \temp@box=\box37
 737 \d@my@unit=\dimen143
 738 \c@cnt@@a=\count132
 739 \c@cnt@@b=\count133
 740 \c@cnt@@c=\count134
 741 )
 742 (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
 743 \bigstrutjot=\dimen144
 744 )
 745 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
 746 Package: babel 2008/07/08 v3.8m The Babel package
 747
 748 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
 749 Language: frenchb 2010/08/21 v2.5a French support from the babel system
 750
 751 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
 752 File: babel.def 2008/07/08 v3.8m Babel common definitions
 753 \babel@savecnt=\count135
 754 \U@D=\dimen145
 755
 756
 757 LaTeX Warning: Command \@testdef  has changed.
 758                Check if current package is valid.
 759
 760 )
 761
 762 Package babel Warning: No hyphenation patterns were loaded for
 763 (babel)                the language `French'
 764 (babel)                I will use the patterns loaded for \language=0 instead.
 765
 766 \l@french = a dialect from \language0
 767 Package babel Info: Making : an active character on input line 234.
 768 Package babel Info: Making ; an active character on input line 235.
 769 Package babel Info: Making ! an active character on input line 236.
 770 Package babel Info: Making ? an active character on input line 237.
 771 \FB@Mht=\dimen146
 772 \std@mcc=\count136
 773 \dec@mcc=\count137
 774 \parindentFFN=\dimen147
 775 *************************************
 776 * Local config file frenchb.cfg used
 777 *
 778 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg))
 779 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
 780 Language: frenchb 2010/08/21 v2.5a French support from the babel system
 781 ))
 782 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
 783 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
 784 Package: geometry 2010/09/12 v5.6 Page Geometry
 785
 786 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
 787 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
 788 Package ifpdf Info: pdfTeX in PDF mode is detected.
 789 )
 790 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
 791 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
 792 Package ifvtex Info: VTeX not detected.
 793 )
 794 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 795 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 796 )
 797 \Gm@cnth=\count138
 798 \Gm@cntv=\count139
 799 \c@Gm@tempcnt=\count140
 800 \Gm@bindingoffset=\dimen148
 801 \Gm@wd@mp=\dimen149
 802 \Gm@odd@mp=\dimen150
 803 \Gm@even@mp=\dimen151
 804 \Gm@layoutwidth=\dimen152
 805 \Gm@layoutheight=\dimen153
 806 \Gm@layouthoffset=\dimen154
 807 \Gm@layoutvoffset=\dimen155
 808 \Gm@dimlist=\toks39
 809 )
 810 (./symboles.sty)
 811 \c@currExoctr=\count141
 812 \c@endExoctr=\count142
 813 \c@Exo=\count143
 814 \c@currExocctr=\count144
 815 \c@endExocctr=\count145
 816 \c@currExctr=\count146
 817 \c@endExctr=\count147
 818 \c@currRemctr=\count148
 819 \c@endRemctr=\count149
 820 \c@Rem=\count150
 821 \c@currNotationctr=\count151
 822 \c@endNotationctr=\count152
 823 \c@Notation=\count153
 824 \c@currDefctr=\count154
 825 \c@endDefctr=\count155
 826 \c@Def=\count156
 827 \c@currThctr=\count157
 828 \c@endThctr=\count158
 829 \c@Th=\count159
 830 \c@currCorollaryctr=\count160
 831 \c@endCorollaryctr=\count161
 832 \c@currPrectr=\count162
 833 \c@endPrectr=\count163
 834 \c@Pre=\count164
 835 \c@currLemmactr=\count165
 836 \c@endLemmactr=\count166
 837 \c@Lemma=\count167
 838 \c@currProofctr=\count168
 839 \c@endProofctr=\count169
 840 \c@Proof=\count170
 841 \c@currQqctr=\count171
 842 \c@endQqctr=\count172
 843 \c@Qq=\count173
 844  (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
 845 Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX
 846 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 847 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 848
 849
 850 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
 851 Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
 852 Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
 853 Package hobsub Info: Skipping package `infwarerr' (already loaded).
 854 Package hobsub Info: Skipping package `ltxcmds' (already loaded).
 855 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
 856 Package ifluatex Info: LuaTeX not detected.
 857 Package hobsub Info: Skipping package `ifvtex' (already loaded).
 858 Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
 859 Package hobsub Info: Skipping package `ifpdf' (already loaded).
 860 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
 861 Package etexcmds Info: Could not find \expanded.
 862 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
 863 (etexcmds)             that some package has redefined \expanded.
 864 (etexcmds)             In the latter case, load this package earlier.
 865 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
 866 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
 867 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
 868 )
 869 Package pdftexcmds Info: LuaTeX not detected.
 870 Package pdftexcmds Info: \pdf@primitive is available.
 871 Package pdftexcmds Info: \pdf@ifprimitive is available.
 872 Package pdftexcmds Info: \pdfdraftmode found.
 873 Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
 874 Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
 875 )
 876 Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
 877 Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
 878 )
 879 Package hobsub Info: Skipping package `hobsub' (already loaded).
 880 Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
 881 Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
 882 Package: xcolor-patch 2011/01/30 xcolor patch
 883 Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
 884 Package atveryend Info: \enddocument detected (standard20110627).
 885 Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
 886 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 887 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 888 )
 889 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 890 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 891 )
 892 \@linkdim=\dimen156
 893 \Hy@linkcounter=\count174
 894 \Hy@pagecounter=\count175
 895
 896 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
 897 File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO)
 898 Now handling font encoding PD1 ...
 899 ... no UTF-8 mapping file for font encoding PD1
 900 )
 901 \Hy@SavedSpaceFactor=\count176
 902
 903 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 904 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 905 )
 906 Package hyperref Info: Hyper figures OFF on input line 4062.
 907 Package hyperref Info: Link nesting OFF on input line 4067.
 908 Package hyperref Info: Hyper index ON on input line 4070.
 909 Package hyperref Info: Plain pages OFF on input line 4077.
 910 Package hyperref Info: Backreferencing OFF on input line 4082.
 911 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
 912 Package hyperref Info: Bookmarks ON on input line 4300.
 913 \c@Hy@tempcnt=\count177
 914 LaTeX Info: Redefining \url on input line 4653.
 915 \Fld@menulength=\count178
 916 \Field@Width=\dimen157
 917 \Fld@charsize=\dimen158
 918 Package hyperref Info: Hyper figures OFF on input line 5773.
 919 Package hyperref Info: Link nesting OFF on input line 5778.
 920 Package hyperref Info: Hyper index ON on input line 5781.
 921 Package hyperref Info: backreferencing OFF on input line 5788.
 922 Package hyperref Info: Link coloring OFF on input line 5793.
 923 Package hyperref Info: Link coloring with OCG OFF on input line 5798.
 924 Package hyperref Info: PDF/A mode OFF on input line 5803.
 925 LaTeX Info: Redefining \ref on input line 5843.
 926 LaTeX Info: Redefining \pageref on input line 5847.
 927 \Hy@abspage=\count179
 928 \c@Item=\count180
 929 \c@Hfootnote=\count181
 930 )
 931
 932 Package hyperref Message: Driver (autodetected): hpdftex.
 933
 934 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
 935 File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX
 936 \Fld@listcount=\count182
 937 \c@bookmark@seq@number=\count183
 938
 939 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 940 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 941 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 942 82.
 943 )
 944 \Hy@SectionHShift=\skip67
 945 )
 946 Package hyperref Info: Option `colorlinks' set `true' on input line 190.
 947 Package hyperref Info: Option `breaklinks' set `true' on input line 190.
 948 Package hyperref Info: Option `bookmarksopen' set `true' on input line 190.
 949 \@indexfile=\write4
 950 \openout4 = `main13.idx'.
 951
 952
 953 Writing index file main13.idx
 954 (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
 955 \openout1 = `main13.aux'.
 956
 957 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 217.
 958 LaTeX Font Info:    ... okay on input line 217.
 959 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 217.
 960 LaTeX Font Info:    ... okay on input line 217.
 961 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 217.
 962 LaTeX Font Info:    ... okay on input line 217.
 963 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 217.
 964 LaTeX Font Info:    ... okay on input line 217.
 965 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 217.
 966 LaTeX Font Info:    ... okay on input line 217.
 967 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 217.
 968 LaTeX Font Info:    ... okay on input line 217.
 969 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 217.
 970 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 217.
 971
 972
 973 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
 974 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 975 )
 976 LaTeX Font Info:    ... okay on input line 217.
 977 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 217.
 978 LaTeX Font Info:    ... okay on input line 217.
 979 LaTeX Font Info:    Try loading font information for T1+ptm on input line 217.
 980
 981 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
 982 File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
 983 )
 984 Specify which optional text to process:
 985
 986 \UseOption=
 987
 988 Package optional Warning: No options were selected, so all optional text will b
 989 e printed on input line 217.
 990
 991 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
 992 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
 993
 994 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
 995 Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
 996 )
 997 Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
 998 34.
 999 Package grfext Info: Graphics extension search list:
1000 (grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
1001 G,.JBIG2,.JB2,.eps]
1002 (grfext)             \AppendGraphicsExtensions on input line 452.
1003
1004 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
1005 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
1006 e
1007 ))
1008 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
1009 [Loading MPS to PDF converter (version 2006.09.02).]
1010 \scratchcounter=\count184
1011 \scratchdimen=\dimen159
1012 \scratchbox=\box38
1013 \nofMPsegments=\count185
1014 \nofMParguments=\count186
1015 \everyMPshowfont=\toks40
1016 \MPscratchCnt=\count187
1017 \MPscratchDim=\dimen160
1018 \MPnumerator=\count188
1019 \makeMPintoPDFobject=\count189
1020 \everyMPtoPDFconversion=\toks41
1021 )
1022 \c@lstlisting=\count190
1023 LaTeX Info: Redefining \degres on input line 217.
1024 LaTeX Info: Redefining \dots on input line 217.
1025 LaTeX Info: Redefining \up on input line 217.
1026
1027 *geometry* driver: auto-detecting
1028 *geometry* detected driver: pdftex
1029 *geometry* verbose mode - [ preamble ] result:
1030 * driver: pdftex
1031 * paper: a4paper
1032 * layout: <same size as paper>
1033 * layoutoffset:(h,v)=(0.0pt,0.0pt)
1034 * modes:
1035 * h-part:(L,W,R)=(71.13188pt, 455.24411pt, 71.13188pt)
1036 * v-part:(T,H,B)=(71.13188pt, 702.78308pt, 71.13188pt)
1037 * \paperwidth=597.50787pt
1038 * \paperheight=845.04684pt
1039 * \textwidth=455.24411pt
1040 * \textheight=702.78308pt
1041 * \oddsidemargin=-1.1381pt
1042 * \evensidemargin=-1.1381pt
1043 * \topmargin=-38.1381pt
1044 * \headheight=12.0pt
1045 * \headsep=25.0pt
1046 * \topskip=11.0pt
1047 * \footskip=30.0pt
1048 * \marginparwidth=50.0pt
1049 * \marginparsep=10.0pt
1050 * \columnsep=10.0pt
1051 * \skip\footins=10.0pt plus 4.0pt minus 2.0pt
1052 * \hoffset=0.0pt
1053 * \voffset=0.0pt
1054 * \mag=1000
1055 * \@twocolumnfalse
1056 * \@twosidefalse
1057 * \@mparswitchfalse
1058 * \@reversemarginfalse
1059 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
1060
1061 \AtBeginShipoutBox=\box39
1062 Package hyperref Info: Link coloring ON on input line 217.
1063 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
1064 Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section
1065
1066 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
1067 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
1068 )
1069 \c@section@level=\count191
1070 )
1071 LaTeX Info: Redefining \ref on input line 217.
1072 LaTeX Info: Redefining \pageref on input line 217.
1073 LaTeX Info: Redefining \nameref on input line 217.
1074
1075 (./main13.out) (./main13.out)
1076 \@outlinefile=\write5
1077 \openout5 = `main13.out'.
1078
1079 LaTeX Font Info:    Try loading font information for OT1+lmr on input line 221.
1080
1081  (/usr/share/texmf/tex/latex/lm/ot1lmr.fd
1082 File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
1083 )
1084 LaTeX Font Info:    Try loading font information for OML+lmm on input line 221.
1085
1086
1087 (/usr/share/texmf/tex/latex/lm/omllmm.fd
1088 File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
1089 )
1090 LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 221
1091 .
1092
1093 (/usr/share/texmf/tex/latex/lm/omslmsy.fd
1094 File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
1095 )
1096 LaTeX Font Info:    Try loading font information for OMX+lmex on input line 221
1097 .
1098
1099 (/usr/share/texmf/tex/latex/lm/omxlmex.fd
1100 File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
1101 )
1102 LaTeX Font Info:    External font `lmex10' loaded for size
1103 (Font)              <12> on input line 221.
1104 LaTeX Font Info:    External font `lmex10' loaded for size
1105 (Font)              <8> on input line 221.
1106 LaTeX Font Info:    External font `lmex10' loaded for size
1107 (Font)              <6> on input line 221.
1108 LaTeX Font Info:    Try loading font information for U+msa on input line 221.
1109
1110 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
1111 File: umsa.fd 2009/06/22 v3.00 AMS symbols A
1112 )
1113 LaTeX Font Info:    Try loading font information for U+msb on input line 221.
1114
1115 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
1116 File: umsb.fd 2009/06/22 v3.00 AMS symbols B
1117 )
1118 LaTeX Font Info:    Try loading font information for T1+pcr on input line 221.
1119
1120 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
1121 File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
1122 ) [1
1123 Non-PDF special ignored!
1124
1125
1126 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
1127 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <24.88> not available
1128 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 221.
1129
1130 (./main13.toc
1131 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available
1132 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
1133 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <10.95> not available
1134 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 3.
1135 LaTeX Font Info:    External font `lmex10' loaded for size
1136 (Font)              <10.95> on input line 4.
1137 pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has
1138 been already used, duplicate ignored
1139 <to be read again>
1140                    \relax
1141 l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1}
1142                                                    [1
1143
1144 ])
1145 \tf@toc=\write6
1146 \openout6 = `main13.toc'.
1147
1148  [2]
1149 \openout2 = `Remerciements.aux'.
1150
1151
1152 No file Remerciements.tex.
1153 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <20.74> not available
1154 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 229.
1155 [3
1156
1157
1158
1159 ]
1160 Chapitre 1.
1161 (./logique/AlgBoole13.tex
1162 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <14.4> not available
1163 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
1164 Package hyperref Info: bookmark level for unknown Def defaults to 0 on input li
1165 ne 6.
1166
1167 Overfull \hbox (8.67114pt too wide) in paragraph at lines 6--11
1168 []\T1/ptm/m/sl/10.95 On ap-pelle \T1/ptm/m/n/10.95 al-gèbre de Boole[] \T1/ptm/
1169 m/sl/10.95 la struc-ture al-gébrique $\OT1/lmr/m/n/10.95 (\OMS/lmsy/m/n/10.95 A
1170 \OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 +\OML/lmm/m/it/10.95 ; :; []\OT1/lmr/m
1171 /n/10.95 )$
1172  []
1173
1174 LaTeX Font Info:    External font `lmex10' loaded for size
1175 (Font)              <10> on input line 36.
1176 LaTeX Font Info:    External font `lmex10' loaded for size
1177 (Font)              <7> on input line 36.
1178 LaTeX Font Info:    External font `lmex10' loaded for size
1179 (Font)              <5> on input line 36.
1180 Package hyperref Info: bookmark level for unknown Rem defaults to 0 on input li
1181 ne 68.
1182 Package hyperref Info: bookmark level for unknown Exo defaults to 0 on input li
1183 ne 74.
1184 [4
1185
1186 ]
1187 Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin
1188 e 152.
1189 Package hyperref Info: bookmark level for unknown Proof defaults to 0 on input
1190 line 162.
1191 Package hyperref Info: bookmark level for unknown Ex defaults to 0 on input lin
1192 e 172.
1193  [5]
1194 Overfull \hbox (0.52283pt too wide) in paragraph at lines 327--329
1195 []\T1/ptm/m/sl/10.95 Un \T1/ptm/m/n/10.95 monôme[] \T1/ptm/m/sl/10.95 est une f
1196 onc-tion booléenne pro-duit de vari-ables booléennes
1197  []
1198
1199 [6] [7] [8]
1200 Package hyperref Info: bookmark level for unknown Exoc defaults to 0 on input l
1201 ine 500.
1202  [9]
1203 Overfull \hbox (0.39145pt too wide) in paragraph at lines 626--627
1204 []\T1/ptm/m/it/10.95 Donner la forme canon-ique dis-jonc-tive de la fonc-tion b
1205 ooléeene
1206  []
1207
1208 [10]) [11]
1209 Chapitre 2.
1210 (./logique/Propositions13.texpdfTeX warning (ext4): destination with the same i
1211 dentifier (name{Def.1}) has been already used, duplicate ignored
1212 <to be read again>
1213                    \relax
1214 l.34 \begin{Def}
1215                 [Proposition]pdfTeX warning (ext4): destination with the same i
1216 dentifier (name{Exo.1}) has been already used, duplicate ignored
1217 <to be read again>
1218                    \relax
1219 l.43 \begin{Ex}
1220                 [12
1221
1222 ]pdfTeX warning (ext4): destination with the same identifier (name{Rem.1}) has
1223 been already used, duplicate ignored
1224 <to be read again>
1225                    \relax
1226 l.175 \begin{Rem}
1227                   [13]pdfTeX warning (ext4): destination with the same identifi
1228 er (name{Exo.2}) has been already used, duplicate ignored
1229 <to be read again>
1230                    \relax
1231 l.197 \begin{Exo}
1232                  pdfTeX warning (ext4): destination with the same identifier (n
1233 ame{Rem.2}) has been already used, duplicate ignored
1234 <to be read again>
1235                    \relax
1236 l.219 \begin{Rem}
1237                  pdfTeX warning (ext4): destination with the same identifier (n
1238 ame{Exo.3}) has been already used, duplicate ignored
1239 <to be read again>
1240                    \relax
1241 l.225 \begin{Exoc}
1242                   pdfTeX warning (ext4): destination with the same identifier (
1243 name{Exo.4}) has been already used, duplicate ignored
1244 <to be read again>
1245                    \relax
1246 l.256 \begin{Exo}
1247                  pdfTeX warning (ext4): destination with the same identifier (n
1248 ame{Exo.5}) has been already used, duplicate ignored
1249 <to be read again>
1250                    \relax
1251 l.289 \begin{Exo}
1252                  pdfTeX warning (ext4): destination with the same identifier (n
1253 ame{Exo.6}) has been already used, duplicate ignored
1254 <to be read again>
1255                    \relax
1256 l.300 \begin{Exo}
1257                   [14]
1258 LaTeX Font Info:    Try loading font information for TS1+ptm on input line 309.
1259
1260
1261 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
1262 File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
1263 )pdfTeX warning (ext4): destination with the same identifier (name{Th.1}) has b
1264 een already used, duplicate ignored
1265 <to be read again>
1266                    \relax
1267 l.400 \begin{Th}
1268                 pdfTeX warning (ext4): destination with the same identifier (na
1269 me{Rem.3}) has been already used, duplicate ignored
1270 <to be read again>
1271                    \relax
1272 l.420 \begin{Rem}
1273                  pdfTeX warning (ext4): destination with the same identifier (n
1274 ame{Exo.7}) has been already used, duplicate ignored
1275 <to be read again>
1276                    \relax
1277 l.431 \begin{Exo}
1278                  pdfTeX warning (ext4): destination with the same identifier (n
1279 ame{Exo.8}) has been already used, duplicate ignored
1280 <to be read again>
1281                    \relax
1282 l.452 \begin{Exo}
1283                   [15]pdfTeX warning (ext4): destination with the same identifi
1284 er (name{Exo.9}) has been already used, duplicate ignored
1285 <to be read again>
1286                    \relax
1287 l.474 \begin{Exo}
1288
1289 Overfull \hbox (2.21603pt too wide) in paragraph at lines 482--487
1290 []\T1/ptm/m/n/10.95 Lorsqu'on rem-place, dans une for-mule propo-si-tion-nelle,
1291  les vari-ables propo-si-tion-nelles par des propo-
1292  []
1293
1294 pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
1295 en already used, duplicate ignored
1296 <to be read again>
1297                    \relax
1298 l.488 \begin{Th}
1299                 [Règles de priorité des connecteurs logiques]
1300 Underfull \hbox (badness 10000) in paragraph at lines 489--491
1301 []\T1/ptm/m/n/10.95 Les con-ven-tions de
1302  []
1303
1304 pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
1305 been already used, duplicate ignored
1306 <to be read again>
1307                    \relax
1308 l.499 \begin{Ex}
1309                 pdfTeX warning (ext4): destination with the same identifier (na
1310 me{Th.3}) has been already used, duplicate ignored
1311 <to be read again>
1312                    \relax
1313 l.507 \begin{Th}
1314                 [Associativité des opérateurs $\ou$ et $\et$]pdfTeX warning (
1315 ext4): destination with the same identifier (name{Exo.11}) has been already use
1316 d, duplicate ignored
1317 <to be read again>
1318                    \relax
1319 l.528 \begin{Exoc}
1320                    [16]pdfTeX warning (ext4): destination with the same identif
1321 ier (name{Exo.12}) has been already used, duplicate ignored
1322 <to be read again>
1323                    \relax
1324 l.573 \begin{Exoc}
1325                   pdfTeX warning (ext4): destination with the same identifier (
1326 name{Exo.13}) has been already used, duplicate ignored
1327 <to be read again>
1328                    \relax
1329 l.602 \begin{Exo}
1330                   [17]pdfTeX warning (ext4): destination with the same identifi
1331 er (name{Def.2}) has been already used, duplicate ignored
1332 <to be read again>
1333                    \relax
1334 l.750 \begin{Def}
1335                  [Fonction de vérité de $F$]pdfTeX warning (ext4): destinatio
1336 n with the same identifier (name{Exo.14}) has been already used, duplicate igno
1337 red
1338 <to be read again>
1339                    \relax
1340 l.803 \begin{Ex}
1341                 pdfTeX warning (ext4): destination with the same identifier (na
1342 me{Def.3}) has been already used, duplicate ignored
1343 <to be read again>
1344                    \relax
1345 l.842 \begin{Def}
1346                  [Tautologie]
1347 Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
1348 ut line 857.
1349 pdfTeX warning (ext4): destination with the same identifier (name{Exo.15}) has
1350 been already used, duplicate ignored
1351 <to be read again>
1352                    \relax
1353 l.861 \begin{Ex}
1354                 pdfTeX warning (ext4): destination with the same identifier (na
1355 me{Exo.16}) has been already used, duplicate ignored
1356 <to be read again>
1357                    \relax
1358 l.867 \begin{Ex}
1359                  [18]pdfTeX warning (ext4): destination with the same identifie
1360 r (name{Exo.17}) has been already used, duplicate ignored
1361 <to be read again>
1362                    \relax
1363 l.923 \begin{Exo}
1364                  pdfTeX warning (ext4): destination with the same identifier (n
1365 ame{Def.4}) has been already used, duplicate ignored
1366 <to be read again>
1367                    \relax
1368 l.950 \begin{Def}
1369                  [Antilogie]pdfTeX warning (ext4): destination with the same id
1370 entifier (name{Exo.18}) has been already used, duplicate ignored
1371 <to be read again>
1372                    \relax
1373 l.958 \begin{Ex}
1374                 pdfTeX warning (ext4): destination with the same identifier (na
1375 me{Exo.19}) has been already used, duplicate ignored
1376 <to be read again>
1377                    \relax
1378 l.969 \begin{Exo}
1379                  pdfTeX warning (ext4): destination with the same identifier (n
1380 ame{Def.5}) has been already used, duplicate ignored
1381 <to be read again>
1382                    \relax
1383 l.1005 \begin{Def}
1384                   [Conséquence logique]
1385 Overfull \hbox (9.10168pt too wide) in paragraph at lines 1015--1017
1386 []\T1/ptm/m/n/10.95 On note ce ré-sul-tat : $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it
1387 /10.95 F[]; [] ; F[]\OMS/lmsy/m/n/10.95 g j[]\OT1/lmr/m/n/10.95 = \OML/lmm/m/it
1388 /10.95 A$ \T1/ptm/m/n/10.95 (se lit : $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/n/10.95
1389  est con-séquence logique de $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 F[]; []
1390 ; F[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/n/10.95 ). $$
1391  []
1392
1393 pdfTeX warning (ext4): destination with the same identifier (name{Exo.20}) has
1394 been already used, duplicate ignored
1395 <to be read again>
1396                    \relax
1397 l.1023 \begin{Ex}
1398                  pdfTeX warning (ext4): destination with the same identifier (n
1399 ame{Exo.21}) has been already used, duplicate ignored
1400 <to be read again>
1401                    \relax
1402 l.1065 \begin{Exo}
1403                    [19]pdfTeX warning (ext4): destination with the same identif
1404 ier (name{Exo.22}) has been already used, duplicate ignored
1405 <to be read again>
1406                    \relax
1407 l.1086 \begin{Exo}
1408                   pdfTeX warning (ext4): destination with the same identifier (
1409 name{Def.6}) has been already used, duplicate ignored
1410 <to be read again>
1411                    \relax
1412 l.1119 \begin{Def}
1413                   [Formules équivalentes]
1414 Overfull \hbox (12.18623pt too wide) in paragraph at lines 1120--1124
1415 []\T1/ptm/m/sl/10.95 Si la for-mule propo-si-tion-nelle $\OML/lmm/m/it/10.95 G$
1416  \T1/ptm/m/sl/10.95 est con-séquence logique
1417  []
1418
1419 [20]pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) ha
1420 s been already used, duplicate ignored
1421 <to be read again>
1422                    \relax
1423 l.1270 \begin{Th}
1424                  [Théorème de substitution]
1425 Underfull \hbox (badness 1552) in paragraph at lines 1272--1277
1426 []\T1/ptm/m/n/10.95 Soit $\OML/lmm/m/it/10.95 F$ \T1/ptm/m/n/10.95 une for-mule
1427  propo-si-tion-nelle dans
1428  []
1429
1430 pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) has
1431  been already used, duplicate ignored
1432 <to be read again>
1433                    \relax
1434 l.1284 \begin{Proof}
1435                      [21]pdfTeX warning (ext4): destination with the same ident
1436 ifier (name{Th.5}) has been already used, duplicate ignored
1437 <to be read again>
1438                    \relax
1439 l.1326 \begin{Th}
1440                  [Théorème de la validité]pdfTeX warning (ext4): destination
1441  with the same identifier (name{Proof.2}) has been already used, duplicate igno
1442 red
1443 <to be read again>
1444                    \relax
1445 l.1338 \begin{Proof}
1446                      [22]
1447 Overfull \hbox (1.48752pt too wide) in paragraph at lines 1490--1492
1448 []\T1/ptm/m/it/10.95 Après une in-tense réflex-ion, l'in-specteur fait sor-tir
1449 l'un des deux de l'hôpi-tal. Lequel (et pourquoi?)
1450  []
1451
1452 [23]) [24] [25
1453
1454 ]
1455 Chapitre 3.
1456 (./ensembles/IntroAuxEnsembles13.texpdfTeX warning (ext4): destination with the
1457  same identifier (name{Notation.1}) has been already used, duplicate ignored
1458 <to be read again>
1459                    \relax
1460 l.16 \begin{Notation}
1461                      pdfTeX warning (ext4): destination with the same identifie
1462 r (name{Exo.1}) has been already used, duplicate ignored
1463 <to be read again>
1464                    \relax
1465 l.20 \begin{Exo}
1466                 pdfTeX warning (ext4): destination with the same identifier (na
1467 me{Def.1}) has been already used, duplicate ignored
1468 <to be read again>
1469                    \relax
1470 l.55 \begin{Def}
1471                 pdfTeX warning (ext4): destination with the same identifier (na
1472 me{Th.1}) has been already used, duplicate ignored
1473 <to be read again>
1474                    \relax
1475 l.60 \begin{Th}
1476                 [26
1477
1478 ]pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) ha
1479 s been already used, duplicate ignored
1480 <to be read again>
1481                    \relax
1482 l.64 \begin{Proof}
1483                   pdfTeX warning (ext4): destination with the same identifier (
1484 name{Th.2}) has been already used, duplicate ignored
1485 <to be read again>
1486                    \relax
1487 l.72 \begin{Th}
1488                pdfTeX warning (ext4): destination with the same identifier (nam
1489 e{Def.2}) has been already used, duplicate ignored
1490 <to be read again>
1491                    \relax
1492 l.77 \begin{Def}
1493                 pdfTeX warning (ext4): destination with the same identifier (na
1494 me{Th.3}) has been already used, duplicate ignored
1495 <to be read again>
1496                    \relax
1497 l.83 \begin{Th}
1498                pdfTeX warning (ext4): destination with the same identifier (nam
1499 e{Exo.2}) has been already used, duplicate ignored
1500 <to be read again>
1501                    \relax
1502 l.88 \begin{Ex}
1503                pdfTeX warning (ext4): destination with the same identifier (nam
1504 e{Exo.3}) has been already used, duplicate ignored
1505 <to be read again>
1506                    \relax
1507 l.93 \begin{Exo}
1508                 pdfTeX warning (ext4): destination with the same identifier (na
1509 me{Exo.4}) has been already used, duplicate ignored
1510 <to be read again>
1511                    \relax
1512 l.98 \begin{Exo}
1513                 pdfTeX warning (ext4): destination with the same identifier (na
1514 me{Exo.5}) has been already used, duplicate ignored
1515 <to be read again>
1516                    \relax
1517 l.110 \begin{Exo}
1518                  pdfTeX warning (ext4): destination with the same identifier (n
1519 ame{Exo.6}) has been already used, duplicate ignored
1520 <to be read again>
1521                    \relax
1522 l.117 \begin{Exo}
1523                  pdfTeX warning (ext4): destination with the same identifier (n
1524 ame{Exo.7}) has been already used, duplicate ignored
1525 <to be read again>
1526                    \relax
1527 l.122 \begin{Exo}
1528                  pdfTeX warning (ext4): destination with the same identifier (n
1529 ame{Def.3}) has been already used, duplicate ignored
1530 <to be read again>
1531                    \relax
1532 l.131 \begin{Def}
1533                  pdfTeX warning (ext4): destination with the same identifier (n
1534 ame{Exo.8}) has been already used, duplicate ignored
1535 <to be read again>
1536                    \relax
1537 l.139 \begin{Exo}
1538                  pdfTeX warning (ext4): destination with the same identifier (n
1539 ame{Def.4}) has been already used, duplicate ignored
1540 <to be read again>
1541                    \relax
1542 l.151 \begin{Def}
1543                  [Reunion]\index{réunion} [27]pdfTeX warning (ext4): destinati
1544 on with the same identifier (name{Exo.9}) has been already used, duplicate igno
1545 red
1546 <to be read again>
1547                    \relax
1548 l.155 \begin{Ex}
1549                 pdfTeX warning (ext4): destination with the same identifier (na
1550 me{Def.5}) has been already used, duplicate ignored
1551 <to be read again>
1552                    \relax
1553 l.160 \begin{Def}
1554                  [Intersection]\index{réunion}
1555 Overfull \hbox (1.73936pt too wide) in paragraph at lines 161--163
1556 []\T1/ptm/m/sl/10.95 L'\T1/ptm/m/n/10.95 intersection \T1/ptm/m/sl/10.95 des de
1557 ux en-sem-bles $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/sl/10.95 et $\OML/lmm/m/it/10.
1558 95 B$\T1/ptm/m/sl/10.95 , notée $\OML/lmm/m/it/10.95 A \OMS/lmsy/m/n/10.95 \ \O
1559 ML/lmm/m/it/10.95 B$\T1/ptm/m/sl/10.95 , est l'ensem-
1560  []
1561
1562 pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) has be
1563 en already used, duplicate ignored
1564 <to be read again>
1565                    \relax
1566 l.171 \begin{Th}
1567                 [Propriétés de la réunion et de l'intersection]
1568 Underfull \hbox (badness 1496) in paragraph at lines 172--173
1569 []\T1/ptm/m/n/10.95 La réu-nion de deux
1570  []
1571
1572 pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
1573 been already used, duplicate ignored
1574 <to be read again>
1575                    \relax
1576 l.181 \begin{Exo}
1577                  pdfTeX warning (ext4): destination with the same identifier (n
1578 ame{Exo.11}) has been already used, duplicate ignored
1579 <to be read again>
1580                    \relax
1581 l.185 \begin{Exo}
1582                  pdfTeX warning (ext4): destination with the same identifier (n
1583 ame{Th.5}) has been already used, duplicate ignored
1584 <to be read again>
1585                    \relax
1586 l.190 \begin{Th}
1587                 [Distributivités de $\cup$ et $\cap$]pdfTeX warning (ext4): de
1588 stination with the same identifier (name{Exo.12}) has been already used, duplic
1589 ate ignored
1590 <to be read again>
1591                    \relax
1592 l.198 \begin{Exo}
1593                  pdfTeX warning (ext4): destination with the same identifier (n
1594 ame{Def.6}) has been already used, duplicate ignored
1595 <to be read again>
1596                    \relax
1597 l.205 \begin{Def}
1598                  [Complémentation]pdfTeX warning (ext4): destination with the
1599 same identifier (name{Th.6}) has been already used, duplicate ignored
1600 <to be read again>
1601                    \relax
1602 l.211 \begin{Th}
1603                 pdfTeX warning (ext4): destination with the same identifier (na
1604 me{Exo.13}) has been already used, duplicate ignored
1605 <to be read again>
1606                    \relax
1607 l.221 \begin{Exo}
1608                   [28]pdfTeX warning (ext4): destination with the same identifi
1609 er (name{Exo.14}) has been already used, duplicate ignored
1610 <to be read again>
1611                    \relax
1612 l.247 \begin{Exo}
1613                  pdfTeX warning (ext4): destination with the same identifier (n
1614 ame{Exo.15}) has been already used, duplicate ignored
1615 <to be read again>
1616                    \relax
1617 l.257 \begin{Exo}
1618                  pdfTeX warning (ext4): destination with the same identifier (n
1619 ame{Exo.16}) has been already used, duplicate ignored
1620 <to be read again>
1621                    \relax
1622 l.277 \begin{Exo}
1623                  pdfTeX warning (ext4): destination with the same identifier (n
1624 ame{Exo.17}) has been already used, duplicate ignored
1625 <to be read again>
1626                    \relax
1627 l.300 \begin{Exo}
1628                  [Fonction caractéristique des parties d'un ensemble])
1629 [29]
1630 Chapitre 4.
1631 (./ensembles/relbin13.texpdfTeX warning (ext4): destination with the same ident
1632 ifier (name{Def.1}) has been already used, duplicate ignored
1633 <to be read again>
1634                    \relax
1635 l.6 \begin{Def}
1636                [Relation binaire]pdfTeX warning (ext4): destination with the sa
1637 me identifier (name{Exo.1}) has been already used, duplicate ignored
1638 <to be read again>
1639                    \relax
1640 l.15 \begin{Exo}
1641                 pdfTeX warning (ext4): destination with the same identifier (na
1642 me{Rem.1}) has been already used, duplicate ignored
1643 <to be read again>
1644                    \relax
1645 l.27 \begin{Rem}
1646                 pdfTeX warning (ext4): destination with the same identifier (na
1647 me{Def.2}) has been already used, duplicate ignored
1648 <to be read again>
1649                    \relax
1650 l.54 \begin{Def}
1651                 [Réflexivité]pdfTeX warning (ext4): destination with the same
1652  identifier (name{Def.3}) has been already used, duplicate ignored
1653 <to be read again>
1654                    \relax
1655 l.61 \begin{Def}
1656                 [Antisymétrie]pdfTeX warning (ext4): destination with the same
1657  identifier (name{Def.4}) has been already used, duplicate ignored
1658 <to be read again>
1659                    \relax
1660 l.71 \begin{Def}
1661                 [Transitivité]pdfTeX warning (ext4): destination with the same
1662  identifier (name{Exo.2}) has been already used, duplicate ignored
1663 <to be read again>
1664                    \relax
1665 l.81 \begin{Exo}
1666                 pdfTeX warning (ext4): destination with the same identifier (na
1667 me{Exo.3}) has been already used, duplicate ignored
1668 <to be read again>
1669                    \relax
1670 l.93 \begin{Exo}
1671                  [30
1672
1673 ]pdfTeX warning (ext4): destination with the same identifier (name{Def.5}) has
1674 been already used, duplicate ignored
1675 <to be read again>
1676                    \relax
1677 l.115 \begin{Def}
1678                  [Relation d'ordre]pdfTeX warning (ext4): destination with the
1679 same identifier (name{Exo.4}) has been already used, duplicate ignored
1680 <to be read again>
1681                    \relax
1682 l.120 \begin{Ex}
1683                 pdfTeX warning (ext4): destination with the same identifier (na
1684 me{Exo.5}) has been already used, duplicate ignored
1685 <to be read again>
1686                    \relax
1687 l.124 \begin{Ex}
1688                 [Relation de divisibilité]pdfTeX warning (ext4): destination w
1689 ith the same identifier (name{Exo.6}) has been already used, duplicate ignored
1690 <to be read again>
1691                    \relax
1692 l.145 \begin{Exo}
1693                  pdfTeX warning (ext4): destination with the same identifier (n
1694 ame{Exo.7}) has been already used, duplicate ignored
1695 <to be read again>
1696                    \relax
1697 l.156 \begin{Exo}
1698                  [Diagrammes de transitivité]pdfTeX warning (ext4): destinatio
1699 n with the same identifier (name{Def.6}) has been already used, duplicate ignor
1700 ed
1701 <to be read again>
1702                    \relax
1703 l.185 \begin{Def}
1704                  [Relation symétrique]pdfTeX warning (ext4): destination with
1705 the same identifier (name{Def.7}) has been already used, duplicate ignored
1706 <to be read again>
1707                    \relax
1708 l.193 \begin{Def}
1709                  [Relation d'équivalence]
1710 Overfull \hbox (1.20601pt too wide) in paragraph at lines 194--196
1711 []$\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/sl/10.95 est une re-la-tion d'équiv-a-lence
1712  lorsqu'elle est réflex-
1713  []
1714
1715 pdfTeX warning (ext4): destination with the same identifier (name{Exo.8}) has b
1716 een already used, duplicate ignored
1717 <to be read again>
1718                    \relax
1719 l.199 \begin{Ex}
1720                 pdfTeX warning (ext4): destination with the same identifier (na
1721 me{Exo.9}) has been already used, duplicate ignored
1722 <to be read again>
1723                    \relax
1724 l.205 \begin{Ex}
1725                 [Relation de congruence modulo $n$ dans $\Z$] [31]pdfTeX warnin
1726 g (ext4): destination with the same identifier (name{Exo.10}) has been already
1727 used, duplicate ignored
1728 <to be read again>
1729                    \relax
1730 l.225 \begin{Exo}
1731                  pdfTeX warning (ext4): destination with the same identifier (n
1732 ame{Notation.1}) has been already used, duplicate ignored
1733 <to be read again>
1734                    \relax
1735 l.250 \begin{Notation}
1736                       pdfTeX warning (ext4): destination with the same identifi
1737 er (name{Exo.11}) has been already used, duplicate ignored
1738 <to be read again>
1739                    \relax
1740 l.255 \begin{Exo}
1741                  pdfTeX warning (ext4): destination with the same identifier (n
1742 ame{Exo.12}) has been already used, duplicate ignored
1743 <to be read again>
1744                    \relax
1745 l.264 \begin{Exo}
1746                  pdfTeX warning (ext4): destination with the same identifier (n
1747 ame{Th.1}) has been already used, duplicate ignored
1748 <to be read again>
1749                    \relax
1750 l.294 \begin{Th}
1751
1752 Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
1753 ne 301.
1754 pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
1755 en already used, duplicate ignored
1756 <to be read again>
1757                    \relax
1758 l.318 \begin{Th}
1759                  [32]pdfTeX warning (ext4): destination with the same identifie
1760 r (name{Exo.13}) has been already used, duplicate ignored
1761 <to be read again>
1762                    \relax
1763 l.328 \begin{Ex}
1764                 pdfTeX warning (ext4): destination with the same identifier (na
1765 me{Exo.14}) has been already used, duplicate ignored
1766 <to be read again>
1767                    \relax
1768 l.343 \begin{Exo}
1769                  pdfTeX warning (ext4): destination with the same identifier (n
1770 ame{Exo.15}) has been already used, duplicate ignored
1771 <to be read again>
1772                    \relax
1773 l.355 \begin{Exo}
1774                  ) [33] [34
1775
1776 ]
1777 \openout2 = `PPN.aux'.
1778
1779  (./PPN.tex
1780 Chapitre 5.
1781 ) [35
1782
1783
1784 ]
1785 No file main13.ind.
1786 (./main13.bbl) [36
1787
1788
1789 ]
1790 \openout2 = `Bibliographie.aux'.
1791
1792  (./Bibliographie.tex
1793 LaTeX Font Info:    Font shape `T1/ptm/bx/it' in size <10.95> not available
1794 (Font)              Font shape `T1/ptm/b/it' tried instead on input line 5.
1795
1796 Overfull \hbox (1.34502pt too wide) in paragraph at lines 5--6
1797 []\T1/ptm/m/n/10.95 ] : les thèmes abor-dés sont
1798  []
1799
1800
1801 Overfull \hbox (11.59552pt too wide) in paragraph at lines 13--14
1802 []\T1/ptm/m/n/10.95 ] : Pour un pub-lic aver-tis, souhai-
1803  []
1804
1805 ) [37
1806
1807
1808 ]
1809 \tf@thm=\write7
1810 \openout7 = `main13.thm'.
1811
1812 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
1813 Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
1814  (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
1815 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
1816 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
1817 Package rerunfilecheck Info: File `main13.out' has not changed.
1818 (rerunfilecheck)             Checksum: B510A10B4C2809C1121D155E1D0BF426;3178.
1819 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
1820  )
1821 Here is how much of TeX's memory you used:
1822  11789 strings out of 495059
1823  159454 string characters out of 3182030
1824  286421 words of memory out of 3000000
1825  14355 multiletter control sequences out of 15000+200000
1826  97094 words of font info for 97 fonts, out of 3000000 for 9000
1827  14 hyphenation exceptions out of 8191
1828  30i,13n,32p,469b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
1829 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/
1830 fonts/enc/dvips/lm/lm-mathex.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy
1831 .enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts
1832 /enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
1833 nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
1834 r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu
1835 blic/lm/lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share
1836 /texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/
1837 lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fon
1838 ts/type1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb
1839 ></usr/share/texmf/fonts/type1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-di
1840 st/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-dis
1841 t/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist
1842 /fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/
1843 urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi
1844 8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/sh
1845 are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
1846 mf-dist/fonts/type1/urw/times/utmri8a.pfb>
1847 Output written on main13.pdf (38 pages, 320746 bytes).
1848 PDF statistics:
1849  792 PDF objects out of 1000 (max. 8388607)
1850  725 compressed objects within 8 object streams
1851  327 named destinations out of 1000 (max. 500000)
1852  337 words of extra memory for PDF output out of 10000 (max. 10000000)
1853