main.log

   1 This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.4.22)  1 JUL 2014 09:09
   2 entering extended mode
   3  restricted \write18 enabled.
   4  %&-line parsing enabled.
   5 **main.tex
   6 (./main.tex
   7 LaTeX2e <2011/06/27>
   8 Babel <3.9h> and hyphenation patterns for 4 languages loaded.
   9 (./spimufchdr.cls
  10 Document Class: spimufchdr 2014/03/03
  11 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.cls
  12 Document Class: upmethodology-document 2014/06/23
  13 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-p-common.sty
  14 Package: upmethodology-p-common 2014/03/03
  15
  16 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
  17 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
  18 )
  19 (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty
  20 Package: xspace 2009/10/20 v1.13 Space after command names (DPC,MH)
  21 )
  22 (/usr/share/texmf/tex/latex/xcolor/xcolor.sty
  23 Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
  24
  25 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
  26 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
  27 )
  28 Package xcolor Info: Driver file: pdftex.def on input line 225.
  29
  30 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
  31 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
  32
  33 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
  34 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
  35 )
  36 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
  37 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
  38 )
  39 \Gread@gobject=\count79
  40 )
  41 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
  42 Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
  43 Package xcolor Info: Model `RGB' extended on input line 1353.
  44 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
  45 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
  46 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
  47 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
  48 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
  49 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
  50 )
  51 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
  52 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
  53 Package ifpdf Info: pdfTeX in PDF mode is detected.
  54 )
  55 (/usr/share/texmf/tex/latex/upmethodology/UPMVERSION.def))
  56 *********** UPMETHODOLOGY BOOK CLASS (WITH PART AND CHAPTER)
  57 (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
  58 Document Class: book 2007/10/19 v1.4h Standard LaTeX document class
  59 (/usr/share/texlive/texmf-dist/tex/latex/base/bk11.clo
  60 File: bk11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
  61 )
  62 \c@part=\count80
  63 \c@chapter=\count81
  64 \c@section=\count82
  65 \c@subsection=\count83
  66 \c@subsubsection=\count84
  67 \c@paragraph=\count85
  68 \c@subparagraph=\count86
  69 \c@figure=\count87
  70 \c@table=\count88
  71 \abovecaptionskip=\skip41
  72 \belowcaptionskip=\skip42
  73 \bibindent=\dimen102
  74 )
  75 (/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
  76 Package: a4wide 1994/08/30
  77
  78 (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty
  79 Package: a4 2004/04/15 v1.2g A4 based page layout
  80 ))
  81 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.sty
  82 Package: upmethodology-document 2013/09/29
  83
  84 **** upmethodology-document is using French language ****
  85 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
  86 Package: babel 2013/12/03 3.9h The Babel package
  87
  88 (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
  89 Language: frenchb 2013/12/30 v2.6g French support from the babel system
  90
  91 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
  92 File: babel.def 2013/12/03 3.9h Babel common definitions
  93 \babel@savecnt=\count89
  94 \U@D=\dimen103
  95 )
  96 \FB@interchartokenstateORI=\count90
  97 Package babel Info: Making : an active character on input line 244.
  98 Package babel Info: Making ; an active character on input line 245.
  99 Package babel Info: Making ! an active character on input line 246.
 100 Package babel Info: Making ? an active character on input line 247.
 101 \FB@Mht=\dimen104
 102 \std@mcc=\count91
 103 \dec@mcc=\count92
 104 \listindentFB=\skip43
 105 \labelwidthFB=\skip44
 106 \leftmarginFB=\skip45
 107 \parindentFFN=\dimen105
 108 )
 109 (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
 110 Language: frenchb 2013/12/30 v2.6g French support from the babel system
 111 ))
 112 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
 113 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
 114 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
 115 \KV@toks@=\toks14
 116 )
 117 (/usr/share/texlive/texmf-dist/tex/latex/vmargin/vmargin.sty
 118 Package: vmargin 2004/07/15 V2.5 set document margins (VK)
 119
 120 Package: vmargin 2004/07/15 V2.5 set document margins (VK)
 121 \PaperWidth=\dimen106
 122 \PaperHeight=\dimen107
 123 ) (/usr/share/texmf/tex/latex/upmethodology/upmethodology-extension.sty
 124 Package: upmethodology-extension 2012/09/21
 125 \upmext@tmp@putx=\skip46
 126
 127 *** define extension value frontillustrationsize ****
 128 *** define extension value watermarksize ****
 129 *** undefine extension value publisher ****
 130 *** undefine extension value copyrighter ****
 131 *** undefine extension value printedin ****)
 132 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-fmt.sty
 133 Package: upmethodology-fmt 2014/06/23
 134
 135 **** upmethodology-fmt is using French language ****
 136 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
 137 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 138
 139 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 140 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 141
 142 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
 143 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 144 )
 145 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
 146 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
 147 )
 148 Package graphics Info: Driver file: pdftex.def on input line 91.
 149 )
 150 \Gin@req@height=\dimen108
 151 \Gin@req@width=\dimen109
 152 )
 153 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 154 Package: subfigure 2002/03/15 v2.1.5 subfigure package
 155 \subfigtopskip=\skip47
 156 \subfigcapskip=\skip48
 157 \subfigcaptopadj=\dimen110
 158 \subfigbottomskip=\skip49
 159 \subfigcapmargin=\dimen111
 160 \subfiglabelskip=\skip50
 161 \c@subfigure=\count93
 162 \c@lofdepth=\count94
 163 \c@subtable=\count95
 164 \c@lotdepth=\count96
 165
 166 ****************************************
 167 * Local config file subfigure.cfg used *
 168 ****************************************
 169 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
 170 \subfig@top=\skip51
 171 \subfig@bottom=\skip52
 172 )
 173 (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
 174 Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
 175
 176 (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
 177 Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
 178 \col@sep=\dimen112
 179 \extrarowheight=\dimen113
 180 \NC@list=\toks15
 181 \extratabsurround=\skip53
 182 \backup@length=\skip54
 183 )
 184 \TX@col@width=\dimen114
 185 \TX@old@table=\dimen115
 186 \TX@old@col=\dimen116
 187 \TX@target=\dimen117
 188 \TX@delta=\dimen118
 189 \TX@cols=\count97
 190 \TX@ftn=\toks16
 191 )
 192 (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
 193 Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi)
 194 \c@tracingmulticols=\count98
 195 \mult@box=\box26
 196 \multicol@leftmargin=\dimen119
 197 \c@unbalance=\count99
 198 \c@collectmore=\count100
 199 \doublecol@number=\count101
 200 \multicoltolerance=\count102
 201 \multicolpretolerance=\count103
 202 \full@width=\dimen120
 203 \page@free=\dimen121
 204 \premulticols=\dimen122
 205 \postmulticols=\dimen123
 206 \multicolsep=\skip55
 207 \multicolbaselineskip=\skip56
 208 \partial@page=\box27
 209 \last@line=\box28
 210 \mult@rightbox=\box29
 211 \mult@grightbox=\box30
 212 \mult@gfirstbox=\box31
 213 \mult@firstbox=\box32
 214 \@tempa=\box33
 215 \@tempa=\box34
 216 \@tempa=\box35
 217 \@tempa=\box36
 218 \@tempa=\box37
 219 \@tempa=\box38
 220 \@tempa=\box39
 221 \@tempa=\box40
 222 \@tempa=\box41
 223 \@tempa=\box42
 224 \@tempa=\box43
 225 \@tempa=\box44
 226 \@tempa=\box45
 227 \@tempa=\box46
 228 \@tempa=\box47
 229 \@tempa=\box48
 230 \@tempa=\box49
 231 \c@columnbadness=\count104
 232 \c@finalcolumnbadness=\count105
 233 \last@try=\dimen124
 234 \multicolovershoot=\dimen125
 235 \multicolundershoot=\dimen126
 236 \mult@nat@firstbox=\box50
 237 \colbreak@box=\box51
 238 \multicol@sort@counter=\count106
 239 )
 240 (/usr/share/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty
 241 Package: colortbl 2012/02/13 v1.0a Color table columns (DPC)
 242 \everycr=\toks17
 243 \minrowclearance=\skip57
 244 )
 245 (/usr/share/texlive/texmf-dist/tex/latex/picinpar/picinpar.sty
 246 Pictures in Paragraphs. Version 1.2a, July 13, 1993
 247 \br=\count107
 248 \bl=\count108
 249 \na=\count109
 250 \nb=\count110
 251 \tcdsav=\count111
 252 \tcl=\count112
 253 \tcd=\count113
 254 \tcn=\count114
 255 \cumtcl=\count115
 256 \cumpartcl=\count116
 257 \lftside=\dimen127
 258 \rtside=\dimen128
 259 \hpic=\dimen129
 260 \vpic=\dimen130
 261 \strutilg=\dimen131
 262 \picwd=\dimen132
 263 \topheight=\dimen133
 264 \ilg=\dimen134
 265 \lpic=\dimen135
 266 \lwindowsep=\dimen136
 267 \rwindowsep=\dimen137
 268 \cumpar=\dimen138
 269 \twa=\toks18
 270 \la=\toks19
 271 \ra=\toks20
 272 \ha=\toks21
 273 \pictoc=\toks22
 274 \rawtext=\box52
 275 \holder=\box53
 276 \windowbox=\box54
 277 \wartext=\box55
 278 \finaltext=\box56
 279 \aslice=\box57
 280 \bslice=\box58
 281 \wbox=\box59
 282 \wstrutbox=\box60
 283 \picbox=\box61
 284 \waslice=\box62
 285 \wbslice=\box63
 286 \fslice=\box64
 287 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
 288 Package: amsmath 2013/01/14 v2.14 AMS math features
 289 \@mathmargin=\skip58
 290
 291 For additional information on amsmath, use the `?' option.
 292 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
 293 Package: amstext 2000/06/29 v2.01
 294
 295 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
 296 File: amsgen.sty 1999/11/30 v2.0
 297 \@emptytoks=\toks23
 298 \ex@=\dimen139
 299 ))
 300 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
 301 Package: amsbsy 1999/11/29 v1.2d
 302 \pmbraise@=\dimen140
 303 )
 304 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
 305 Package: amsopn 1999/12/14 v2.01 operator names
 306 )
 307 \inf@bad=\count117
 308 LaTeX Info: Redefining \frac on input line 210.
 309 \uproot@=\count118
 310 \leftroot@=\count119
 311 LaTeX Info: Redefining \overline on input line 306.
 312 \classnum@=\count120
 313 \DOTSCASE@=\count121
 314 LaTeX Info: Redefining \ldots on input line 378.
 315 LaTeX Info: Redefining \dots on input line 381.
 316 LaTeX Info: Redefining \cdots on input line 466.
 317 \Mathstrutbox@=\box65
 318 \strutbox@=\box66
 319 \big@size=\dimen141
 320 LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
 321 LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
 322 \macc@depth=\count122
 323 \c@MaxMatrixCols=\count123
 324 \dotsspace@=\muskip10
 325 \c@parentequation=\count124
 326 \dspbrk@lvl=\count125
 327 \tag@help=\toks24
 328 \row@=\count126
 329 \column@=\count127
 330 \maxfields@=\count128
 331 \andhelp@=\toks25
 332 \eqnshift@=\dimen142
 333 \alignsep@=\dimen143
 334 \tagshift@=\dimen144
 335 \tagwidth@=\dimen145
 336 \totwidth@=\dimen146
 337 \lineht@=\dimen147
 338 \@envbody=\toks26
 339 \multlinegap=\skip59
 340 \multlinetaggap=\skip60
 341 \mathdisplay@stack=\toks27
 342 LaTeX Info: Redefining \[ on input line 2665.
 343 LaTeX Info: Redefining \] on input line 2666.
 344 )
 345 (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
 346 Package: amsthm 2004/08/06 v2.20
 347 \thm@style=\toks28
 348 \thm@bodyfont=\toks29
 349 \thm@headfont=\toks30
 350 \thm@notefont=\toks31
 351 \thm@headpunct=\toks32
 352 \thm@preskip=\skip61
 353 \thm@postskip=\skip62
 354 \thm@headsep=\skip63
 355 \dth@everypar=\toks33
 356 )
 357 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thmtools.sty
 358 Package: thmtools 2012/05/04 v63
 359 \thmt@toks=\toks34
 360 \c@thmt@dummyctr=\count129
 361
 362 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-patch.sty
 363 Package: thm-patch 2012/05/04 v63
 364
 365 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/parseargs.sty
 366 Package: parseargs 2012/05/04 v63
 367 \@parsespec=\toks35
 368 ))
 369 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-kv.sty
 370 Package: thm-kv 2012/05/04 v63
 371 Package thm-kv Info: Theorem names will be uppercased on input line 40.
 372
 373 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
 374 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
 375
 376 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
 377 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
 378
 379 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
 380 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
 381 Package ifluatex Info: LuaTeX not detected.
 382 )
 383 Package etexcmds Info: Could not find \expanded.
 384 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
 385 (etexcmds)             that some package has redefined \expanded.
 386 (etexcmds)             In the latter case, load this package earlier.
 387 ))
 388 Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 156.
 389 )
 390 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-autoref.sty
 391 Package: thm-autoref 2012/05/04 v63
 392
 393 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/aliasctr.sty
 394 Package: aliasctr 2012/05/04 v63
 395
 396 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty)))
 397 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-listof.sty
 398 Package: thm-listof 2012/05/04 v63
 399 )
 400 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-restate.sty
 401 Package: thm-restate 2012/05/04 v63
 402 )
 403 (/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
 404 Package: thm-amsthm 2012/05/04 v63
 405 \thmt@style@headstyle=\toks36
 406 ))
 407 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/pifont.sty
 408 Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR)
 409 LaTeX Font Info:    Try loading font information for U+pzd on input line 63.
 410
 411 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/upzd.fd
 412 File: upzd.fd 2001/06/04 font definitions for U/pzd.
 413 )
 414 LaTeX Font Info:    Try loading font information for U+psy on input line 64.
 415
 416 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/upsy.fd
 417 File: upsy.fd 2001/06/04 font definitions for U/psy.
 418 ))
 419 (/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
 420 Package: setspace 2011/12/19 v6.7a set line spacing
 421 )
 422 (/usr/share/texlive/texmf-dist/tex/latex/tools/varioref.sty
 423 Package: varioref 2011/10/02 v1.4z package for extended references (FMi)
 424 \c@vrcnt=\count130
 425 )
 426 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/txfonts.sty
 427 Package: txfonts 2008/01/22 v3.2.1
 428 LaTeX Font Info:    Redeclaring symbol font `operators' on input line 21.
 429 LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
 430 (Font)                  OT1/cmr/m/n --> OT1/txr/m/n on input line 21.
 431 LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
 432 (Font)                  OT1/cmr/bx/n --> OT1/txr/m/n on input line 21.
 433 LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
 434 (Font)                  OT1/txr/m/n --> OT1/txr/bx/n on input line 22.
 435 \symitalic=\mathgroup4
 436 LaTeX Font Info:    Overwriting symbol font `italic' in version `bold'
 437 (Font)                  OT1/txr/m/it --> OT1/txr/bx/it on input line 26.
 438 LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 29.
 439 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
 440 (Font)                  OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29.
 441 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
 442 (Font)                  OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29.
 443 LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 30.
 444 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
 445 (Font)                  OT1/cmr/m/it --> OT1/txr/m/it on input line 30.
 446 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
 447 (Font)                  OT1/cmr/bx/it --> OT1/txr/m/it on input line 30.
 448 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
 449 (Font)                  OT1/txr/m/it --> OT1/txr/bx/it on input line 31.
 450 LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 40.
 451 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
 452 (Font)                  OT1/cmss/m/n --> OT1/txss/m/n on input line 40.
 453 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
 454 (Font)                  OT1/cmss/bx/n --> OT1/txss/m/n on input line 40.
 455 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
 456 (Font)                  OT1/txss/m/n --> OT1/txss/b/n on input line 41.
 457 LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 50.
 458 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
 459 (Font)                  OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50.
 460 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
 461 (Font)                  OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50.
 462 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
 463 (Font)                  OT1/txtt/m/n --> OT1/txtt/b/n on input line 51.
 464 LaTeX Font Info:    Redeclaring symbol font `letters' on input line 58.
 465 LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
 466 (Font)                  OML/cmm/m/it --> OML/txmi/m/it on input line 58.
 467 LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
 468 (Font)                  OML/cmm/b/it --> OML/txmi/m/it on input line 58.
 469 LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
 470 (Font)                  OML/txmi/m/it --> OML/txmi/bx/it on input line 59.
 471 \symlettersA=\mathgroup5
 472 LaTeX Font Info:    Overwriting symbol font `lettersA' in version `bold'
 473 (Font)                  U/txmia/m/it --> U/txmia/bx/it on input line 67.
 474 LaTeX Font Info:    Redeclaring symbol font `symbols' on input line 77.
 475 LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
 476 (Font)                  OMS/cmsy/m/n --> OMS/txsy/m/n on input line 77.
 477 LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
 478 (Font)                  OMS/cmsy/b/n --> OMS/txsy/m/n on input line 77.
 479 LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
 480 (Font)                  OMS/txsy/m/n --> OMS/txsy/bx/n on input line 78.
 481 \symAMSa=\mathgroup6
 482 LaTeX Font Info:    Overwriting symbol font `AMSa' in version `bold'
 483 (Font)                  U/txsya/m/n --> U/txsya/bx/n on input line 94.
 484 \symAMSb=\mathgroup7
 485 LaTeX Font Info:    Overwriting symbol font `AMSb' in version `bold'
 486 (Font)                  U/txsyb/m/n --> U/txsyb/bx/n on input line 103.
 487 \symsymbolsC=\mathgroup8
 488 LaTeX Font Info:    Overwriting symbol font `symbolsC' in version `bold'
 489 (Font)                  U/txsyc/m/n --> U/txsyc/bx/n on input line 113.
 490 LaTeX Font Info:    Redeclaring symbol font `largesymbols' on input line 120.
 491 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
 492 (Font)                  OMX/cmex/m/n --> OMX/txex/m/n on input line 120.
 493 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
 494 (Font)                  OMX/cmex/m/n --> OMX/txex/m/n on input line 120.
 495 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
 496 (Font)                  OMX/txex/m/n --> OMX/txex/bx/n on input line 121.
 497 \symlargesymbolsA=\mathgroup9
 498 LaTeX Font Info:    Overwriting symbol font `largesymbolsA' in version `bold'
 499 (Font)                  U/txexa/m/n --> U/txexa/bx/n on input line 129.
 500 LaTeX Info: Redefining \not on input line 1043.
 501 LaTeX Info: Redefining \textsquare on input line 1063.
 502 LaTeX Info: Redefining \openbox on input line 1064.
 503 )
 504 (/usr/share/texlive/texmf-dist/tex/latex/relsize/relsize.sty
 505 Package: relsize 2013/03/29 ver 4.1
 506 )
 507 (/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
 508 Package: xkeyval 2012/10/14 v2.6b package option processing (HA)
 509
 510 (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
 511 \XKV@toks=\toks37
 512 \XKV@tempa@toks=\toks38
 513 \XKV@depth=\count131
 514 File: xkeyval.tex 2012/10/14 v2.6b key=value parser (HA)
 515 ))
 516 (/usr/share/texlive/texmf-dist/tex/latex/hyphenat/hyphenat.sty
 517 Package: hyphenat 2009/09/02 v2.3c hyphenation utilities
 518 \langwohyphens=\language5
 519 LaTeX Info: Redefining \_ on input line 43.
 520 )
 521 (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty
 522 Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH
 523 LaTeX Font Info:    Overwriting math alphabet `\mathbbm' in version `bold'
 524 (Font)                  U/bbm/m/n --> U/bbm/bx/n on input line 33.
 525 LaTeX Font Info:    Overwriting math alphabet `\mathbbmss' in version `bold'
 526 (Font)                  U/bbmss/m/n --> U/bbmss/bx/n on input line 35.
 527 )
 528 (/usr/share/texlive/texmf-dist/tex/latex/environ/environ.sty
 529 Package: environ 2013/04/01 v0.3 A new environment syntax
 530
 531 (/usr/share/texlive/texmf-dist/tex/latex/trimspaces/trimspaces.sty
 532 Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
 533 ))
 534 \c@upm@subfigure@count=\count132
 535 \c@upm@fmt@mtabular@columnnumber=\count133
 536 \c@upm@format@section@sectionlevel=\count134
 537 \c@upm@fmt@savedcounter=\count135
 538 \c@@@upm@fmt@inlineenumeration=\count136
 539 \c@@upm@fmt@enumdescription@cnt@=\count137
 540 \upm@framed@minipage=\box67
 541 \upm@highlight@box@save=\box68
 542 \c@upmdefinition=\count138
 543 )
 544 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-version.sty
 545 Package: upmethodology-version 2013/08/26
 546
 547 **** upmethodology-version is using French language ****
 548 \upm@tmp@a=\count139
 549 )
 550 \listendskip=\skip64
 551 )
 552 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-frontpage.sty
 553 Package: upmethodology-frontpage 2009/10/30
 554
 555 **** upmethodology-frontpage is using French language ****
 556 \upm@front@tmpa=\dimen148
 557 \upm@front@tmpb=\dimen149
 558
 559 *** define extension value frontillustrationsize ****)
 560 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-backpage.sty
 561 Package: upmethodology-backpage 2013/12/14
 562
 563 **** upmethodology-backpage is using French language ****)
 564 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-task.sty
 565 Package: upmethodology-task 2009/10/30
 566
 567 **** upmethodology-task is using French language ****)
 568 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-code.sty
 569 Package: upmethodology-code 2009/10/30
 570 \upm@code@current@lang=\count140
 571 )
 572 (/usr/share/texmf/tex/latex/upmethodology/upmethodology-spec.sty
 573 Package: upmethodology-spec 2009/10/30
 574
 575 (/usr/share/texlive/texmf-dist/tex/generic/ulem/ulem.sty
 576 \UL@box=\box69
 577 \UL@hyphenbox=\box70
 578 \UL@skip=\skip65
 579 \UL@hook=\toks39
 580 \UL@height=\dimen150
 581 \UL@pe=\count141
 582 \UL@pixel=\dimen151
 583 \ULC@box=\box71
 584 Package: ulem 2012/05/18
 585 \ULdepth=\dimen152
 586 )
 587 **** upmethodology-spec is using French language ****
 588 \upm@spec@detailspec@description@width=\skip66
 589 \upm@spec@detailspec@savebox=\box72
 590 \upm@spec@detailspec@itrn@width=\skip67
 591 \c@upm@detailspec@return@counter=\count142
 592 \c@upm@detailspec@function@counter=\count143
 593 )
 594 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 595 \Urlmuskip=\muskip11
 596 Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
 597 )
 598 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
 599 Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
 600
 601 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 602 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 603
 604
 605 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
 606 Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
 607 Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
 608 Package hobsub Info: Skipping package `infwarerr' (already loaded).
 609 Package hobsub Info: Skipping package `ltxcmds' (already loaded).
 610 Package hobsub Info: Skipping package `ifluatex' (already loaded).
 611 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
 612 Package ifvtex Info: VTeX not detected.
 613 Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
 614 Package hobsub Info: Skipping package `ifpdf' (already loaded).
 615 Package hobsub Info: Skipping package `etexcmds' (already loaded).
 616 Package hobsub Info: Skipping package `kvsetkeys' (already loaded).
 617 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
 618 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
 619 )
 620 Package pdftexcmds Info: LuaTeX not detected.
 621 Package pdftexcmds Info: \pdf@primitive is available.
 622 Package pdftexcmds Info: \pdf@ifprimitive is available.
 623 Package pdftexcmds Info: \pdfdraftmode found.
 624 Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
 625 Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
 626 )
 627 Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
 628 Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
 629 )
 630 Package hobsub Info: Skipping package `hobsub' (already loaded).
 631 Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
 632 Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
 633 Package: xcolor-patch 2011/01/30 xcolor patch
 634 Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
 635 Package atveryend Info: \enddocument detected (standard20110627).
 636 Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
 637 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 638 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 639 )
 640 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 641 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 642 )
 643 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
 644 Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
 645 )
 646 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 647 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 648 )
 649 \@linkdim=\dimen153
 650 \Hy@linkcounter=\count144
 651 \Hy@pagecounter=\count145
 652
 653 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
 654 File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
 655 )
 656 \Hy@SavedSpaceFactor=\count146
 657
 658 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 659 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 660 )
 661 Package hyperref Info: Option `breaklinks' set `true' on input line 4319.
 662 Package hyperref Info: Option `pageanchor' set `true' on input line 4319.
 663 Package hyperref Info: Option `bookmarks' set `false' on input line 4319.
 664 Package hyperref Info: Option `hyperfigures' set `true' on input line 4319.
 665 Package hyperref Info: Option `hyperindex' set `true' on input line 4319.
 666 Package hyperref Info: Option `linktocpage' set `true' on input line 4319.
 667 Package hyperref Info: Option `bookmarks' set `true' on input line 4319.
 668 Package hyperref Info: Option `bookmarksopen' set `true' on input line 4319.
 669 Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 4319
 670 .
 671 Package hyperref Info: Option `colorlinks' set `false' on input line 4319.
 672 Package hyperref Info: Hyper figures ON on input line 4441.
 673 Package hyperref Info: Link nesting OFF on input line 4448.
 674 Package hyperref Info: Hyper index ON on input line 4451.
 675 Package hyperref Info: Plain pages OFF on input line 4458.
 676 Package hyperref Info: Backreferencing OFF on input line 4463.
 677 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
 678 Package hyperref Info: Bookmarks ON on input line 4688.
 679 LaTeX Info: Redefining \href on input line 4952.
 680 \c@Hy@tempcnt=\count147
 681 LaTeX Info: Redefining \url on input line 5041.
 682 \XeTeXLinkMargin=\dimen154
 683 \Fld@menulength=\count148
 684 \Field@Width=\dimen155
 685 \Fld@charsize=\dimen156
 686 Package hyperref Info: Hyper figures ON on input line 6293.
 687 Package hyperref Info: Link nesting OFF on input line 6300.
 688 Package hyperref Info: Hyper index ON on input line 6303.
 689 Package hyperref Info: backreferencing OFF on input line 6310.
 690 Package hyperref Info: Link coloring OFF on input line 6315.
 691 Package hyperref Info: Link coloring with OCG OFF on input line 6320.
 692 Package hyperref Info: PDF/A mode OFF on input line 6325.
 693 LaTeX Info: Redefining \ref on input line 6365.
 694 LaTeX Info: Redefining \pageref on input line 6369.
 695 \Hy@abspage=\count149
 696 \c@Item=\count150
 697 \c@Hfootnote=\count151
 698 )
 699
 700 Package hyperref Message: Driver: hpdftex.
 701
 702 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
 703 File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
 704 \Fld@listcount=\count152
 705 \c@bookmark@seq@number=\count153
 706
 707 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 708 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 709 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 710 82.
 711 )
 712 \Hy@SectionHShift=\skip68
 713 )
 714 \upm@smalllogo@height=\dimen157
 715 )
 716 (/usr/share/texlive/texmf-dist/tex/latex/multibib/multibib.sty
 717 Package: multibib 2008/12/10 v1.4 Multiple bibliographies for one document.
 718 \mb@biblabelwidth=\count154
 719 )
 720 (/usr/share/texlive/texmf-dist/tex/latex/eurosym/eurosym.sty
 721 Package: eurosym 1998/08/06 v1.1 European currency symbol ``Euro''
 722 \@eurobox=\box73
 723 )
 724 *** define extension value defensemessage ****
 725 **** including upm extension spimufchdr (upmext-spimufchdr.cfg) ****
 726 (./upmext-spimufchdr.cfg *** define extension value copyright ****
 727 *** style extension spimufchdr, Copyright {(c)} 2013--14 Dr. St\unhbox \voidb@x
 728  \bgroup \let \unhbox \voidb@x \setbox \@tempboxa \hbox {e\global \mathchardef
 729 \accent@spacefactor \spacefactor }\accent 19 e\egroup \spacefactor \accent@spac
 730 efactor phane GALLAND. **** *** define extension value trademarks ****
 731 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty
 732 Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS)
 733 )
 734 *** define extension value frontillustration ****
 735 *** define extension value p3illustration ****
 736 *** define extension value backillustration ****
 737 *** define extension value watermarksize ****
 738 *** define extension value universityname ****
 739 *** define extension value speciality ****
 740 *** define extension value defensedate ****
 741 *** define extension value jurytabwidth ****
 742 *** define extension value jurystyle ****))
 743 (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty
 744 Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
 745 )
 746 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries.sty
 747 Package: glossaries 2014/01/20 v4.03 (NLCT)
 748
 749 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/mfirstuc.sty
 750 Package: mfirstuc 2013/11/04 v1.08 (NLCT)
 751
 752 (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
 753 Package: etoolbox 2011/01/03 v2.1 e-TeX tools for LaTeX
 754
 755 (/usr/share/texlive/texmf-dist/tex/latex/etex-pkg/etex.sty
 756 Package: etex 1998/03/26 v2.0 eTeX basic definition package (PEB)
 757 \et@xins=\count155
 758 )
 759 \etb@tempcnta=\count156
 760 )
 761 \@glsmfirst=\toks40
 762 \@glsmrest=\toks41
 763 )
 764 (/usr/share/texlive/texmf-dist/tex/latex/textcase/textcase.sty
 765 Package: textcase 2004/10/07 v0.07 Text only upper/lower case changing (DPC)
 766 )
 767 (/usr/share/texlive/texmf-dist/tex/latex/xfor/xfor.sty
 768 Package: xfor 2009/02/05 v1.05 (NLCT)
 769 )
 770 (/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-base.sty
 771 Package: datatool-base 2013/09/06 v2.18 (NLCT)
 772
 773 (/usr/share/texlive/texmf-dist/tex/latex/substr/substr.sty
 774 Package: substr 2009/10/20 v1.2 Handle substrings
 775 \c@su@anzahl=\count157
 776 )
 777 (/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-fp.sty
 778 Package: datatool-fp 2013/08/29 v2.17 (NLCT)
 779
 780 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp.sty
 781 Package: fp 1995/04/02
 782
 783 `Fixed Point Package', Version 0.8, April 2, 1995 (C) Michael Mehlich
 784 (/usr/share/texlive/texmf-dist/tex/latex/fp/defpattern.sty
 785 Package: defpattern 1994/10/12
 786 \actioncount=\count158
 787 )
 788 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-basic.sty
 789 Package: fp-basic 1996/05/13
 790 \FP@xs=\count159
 791 \FP@xia=\count160
 792 \FP@xib=\count161
 793 \FP@xfa=\count162
 794 \FP@xfb=\count163
 795 \FP@rega=\count164
 796 \FP@regb=\count165
 797 \FP@regs=\count166
 798 \FP@times=\count167
 799 )
 800 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-addons.sty
 801 Package: fp-addons 1995/03/15
 802 )
 803 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-snap.sty
 804 Package: fp-snap 1995/04/05
 805 )
 806 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-exp.sty
 807 Package: fp-exp 1995/04/03
 808 )
 809 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-trigo.sty
 810 Package: fp-trigo 1995/04/14
 811 )
 812 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-pas.sty
 813 Package: fp-pas 1994/08/29
 814 )
 815 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-random.sty
 816 Package: fp-random 1995/02/23
 817 \FPseed=\count168
 818 )
 819 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eqn.sty
 820 Package: fp-eqn 1995/04/03
 821 )
 822 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-upn.sty
 823 Package: fp-upn 1996/10/21
 824 )
 825 (/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eval.sty
 826 Package: fp-eval 1995/04/03
 827 )))
 828 \@dtl@toks=\toks42
 829 \@dtl@tmpcount=\count169
 830 \dtl@tmplength=\skip69
 831 \dtl@sortresult=\count170
 832 \@dtl@numgrpsepcount=\count171
 833 \@dtl@datatype=\count172
 834 \dtl@codeA=\count173
 835 \dtl@codeB=\count174
 836 \@dtl@foreach@level=\count175
 837 )
 838 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries-compatible-
 839 307.sty
 840 Package: glossaries-compatible-307 2013/11/14 v4.0 (NLCT)
 841 ) (/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty
 842 Package: translator 2010/06/12 ver 1.10
 843
 844 (/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings
 845 .tex))
 846 \gls@level=\count176
 847 \@gls@tmpb=\toks43
 848 \gls@tmplen=\skip70
 849 \glswrite=\write3
 850 \glskeylisttok=\toks44
 851 \glslabeltok=\toks45
 852 \glsshorttok=\toks46
 853 \glslongtok=\toks47
 854
 855 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-hypernav.st
 856 y
 857 Package: glossary-hypernav 2013/11/14 v4.0 (NLCT)
 858 ) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-list.sty
 859 Package: glossary-list 2013/11/14 v4.0 (NLCT)
 860 \glslistdottedwidth=\skip71
 861 ) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-long.sty
 862 Package: glossary-long 2013/11/14 v4.0 (NLCT)
 863
 864 (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
 865 Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
 866 \LTleft=\skip72
 867 \LTright=\skip73
 868 \LTpre=\skip74
 869 \LTpost=\skip75
 870 \LTchunksize=\count177
 871 \LTcapwidth=\dimen158
 872 \LT@head=\box74
 873 \LT@firsthead=\box75
 874 \LT@foot=\box76
 875 \LT@lastfoot=\box77
 876 \LT@cols=\count178
 877 \LT@rows=\count179
 878 \c@LT@tables=\count180
 879 \c@LT@chunks=\count181
 880 \LT@p@ftn=\toks48
 881 )
 882 \glsdescwidth=\skip76
 883 \glspagelistwidth=\skip77
 884 )
 885 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-super.sty
 886 Package: glossary-super 2013/11/14 v4.0 (NLCT)
 887
 888 (/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty
 889 Package: supertabular 2004/02/20 v4.1e the supertabular environment
 890 \c@tracingst=\count182
 891 \ST@wd=\dimen159
 892 \ST@rightskip=\skip78
 893 \ST@leftskip=\skip79
 894 \ST@parfillskip=\skip80
 895 \ST@pageleft=\dimen160
 896 \ST@headht=\dimen161
 897 \ST@tailht=\dimen162
 898 \ST@pagesofar=\dimen163
 899 \ST@pboxht=\dimen164
 900 \ST@lineht=\dimen165
 901 \ST@stretchht=\dimen166
 902 \ST@prevht=\dimen167
 903 \ST@toadd=\dimen168
 904 \ST@dimen=\dimen169
 905 \ST@pbox=\box78
 906 ))
 907 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-tree.sty
 908 Package: glossary-tree 2013/11/14 v4.0 (NLCT)
 909 \glstreeindent=\skip81
 910 ))
 911 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 912 \lst@mode=\count183
 913 \lst@gtempboxa=\box79
 914 \lst@token=\toks49
 915 \lst@length=\count184
 916 \lst@currlwidth=\dimen170
 917 \lst@column=\count185
 918 \lst@pos=\count186
 919 \lst@lostspace=\dimen171
 920 \lst@width=\dimen172
 921 \lst@newlines=\count187
 922 \lst@lineno=\count188
 923 \lst@maxwidth=\dimen173
 924
 925 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 926 File: lstmisc.sty 2013/08/26 1.5b (Carsten Heinz)
 927 \c@lstnumber=\count189
 928 \lst@skipnumbers=\count190
 929 \lst@framebox=\box80
 930 )
 931 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
 932 File: listings.cfg 2013/08/26 1.5b listings configuration
 933 ))
 934 Package: listings 2013/08/26 1.5b (Carsten Heinz)
 935
 936 (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
 937 Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
 938 \every@verbatim=\toks50
 939 \verbatim@line=\toks51
 940 \verbatim@in@stream=\read1
 941 )
 942 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
 943 Package: inputenc 2008/03/30 v1.1d Input encoding file
 944 \inpenc@prehook=\toks52
 945 \inpenc@posthook=\toks53
 946
 947 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
 948 File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
 949 Now handling font encoding OML ...
 950 ... no UTF-8 mapping file for font encoding OML
 951 Now handling font encoding T1 ...
 952 ... processing UTF-8 mapping file for font encoding T1
 953
 954 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
 955 File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 956    defining Unicode char U+00A1 (decimal 161)
 957    defining Unicode char U+00A3 (decimal 163)
 958    defining Unicode char U+00AB (decimal 171)
 959    defining Unicode char U+00BB (decimal 187)
 960    defining Unicode char U+00BF (decimal 191)
 961    defining Unicode char U+00C0 (decimal 192)
 962    defining Unicode char U+00C1 (decimal 193)
 963    defining Unicode char U+00C2 (decimal 194)
 964    defining Unicode char U+00C3 (decimal 195)
 965    defining Unicode char U+00C4 (decimal 196)
 966    defining Unicode char U+00C5 (decimal 197)
 967    defining Unicode char U+00C6 (decimal 198)
 968    defining Unicode char U+00C7 (decimal 199)
 969    defining Unicode char U+00C8 (decimal 200)
 970    defining Unicode char U+00C9 (decimal 201)
 971    defining Unicode char U+00CA (decimal 202)
 972    defining Unicode char U+00CB (decimal 203)
 973    defining Unicode char U+00CC (decimal 204)
 974    defining Unicode char U+00CD (decimal 205)
 975    defining Unicode char U+00CE (decimal 206)
 976    defining Unicode char U+00CF (decimal 207)
 977    defining Unicode char U+00D0 (decimal 208)
 978    defining Unicode char U+00D1 (decimal 209)
 979    defining Unicode char U+00D2 (decimal 210)
 980    defining Unicode char U+00D3 (decimal 211)
 981    defining Unicode char U+00D4 (decimal 212)
 982    defining Unicode char U+00D5 (decimal 213)
 983    defining Unicode char U+00D6 (decimal 214)
 984    defining Unicode char U+00D8 (decimal 216)
 985    defining Unicode char U+00D9 (decimal 217)
 986    defining Unicode char U+00DA (decimal 218)
 987    defining Unicode char U+00DB (decimal 219)
 988    defining Unicode char U+00DC (decimal 220)
 989    defining Unicode char U+00DD (decimal 221)
 990    defining Unicode char U+00DE (decimal 222)
 991    defining Unicode char U+00DF (decimal 223)
 992    defining Unicode char U+00E0 (decimal 224)
 993    defining Unicode char U+00E1 (decimal 225)
 994    defining Unicode char U+00E2 (decimal 226)
 995    defining Unicode char U+00E3 (decimal 227)
 996    defining Unicode char U+00E4 (decimal 228)
 997    defining Unicode char U+00E5 (decimal 229)
 998    defining Unicode char U+00E6 (decimal 230)
 999    defining Unicode char U+00E7 (decimal 231)
1000    defining Unicode char U+00E8 (decimal 232)
1001    defining Unicode char U+00E9 (decimal 233)
1002    defining Unicode char U+00EA (decimal 234)
1003    defining Unicode char U+00EB (decimal 235)
1004    defining Unicode char U+00EC (decimal 236)
1005    defining Unicode char U+00ED (decimal 237)
1006    defining Unicode char U+00EE (decimal 238)
1007    defining Unicode char U+00EF (decimal 239)
1008    defining Unicode char U+00F0 (decimal 240)
1009    defining Unicode char U+00F1 (decimal 241)
1010    defining Unicode char U+00F2 (decimal 242)
1011    defining Unicode char U+00F3 (decimal 243)
1012    defining Unicode char U+00F4 (decimal 244)
1013    defining Unicode char U+00F5 (decimal 245)
1014    defining Unicode char U+00F6 (decimal 246)
1015    defining Unicode char U+00F8 (decimal 248)
1016    defining Unicode char U+00F9 (decimal 249)
1017    defining Unicode char U+00FA (decimal 250)
1018    defining Unicode char U+00FB (decimal 251)
1019    defining Unicode char U+00FC (decimal 252)
1020    defining Unicode char U+00FD (decimal 253)
1021    defining Unicode char U+00FE (decimal 254)
1022    defining Unicode char U+00FF (decimal 255)
1023    defining Unicode char U+0102 (decimal 258)
1024    defining Unicode char U+0103 (decimal 259)
1025    defining Unicode char U+0104 (decimal 260)
1026    defining Unicode char U+0105 (decimal 261)
1027    defining Unicode char U+0106 (decimal 262)
1028    defining Unicode char U+0107 (decimal 263)
1029    defining Unicode char U+010C (decimal 268)
1030    defining Unicode char U+010D (decimal 269)
1031    defining Unicode char U+010E (decimal 270)
1032    defining Unicode char U+010F (decimal 271)
1033    defining Unicode char U+0110 (decimal 272)
1034    defining Unicode char U+0111 (decimal 273)
1035    defining Unicode char U+0118 (decimal 280)
1036    defining Unicode char U+0119 (decimal 281)
1037    defining Unicode char U+011A (decimal 282)
1038    defining Unicode char U+011B (decimal 283)
1039    defining Unicode char U+011E (decimal 286)
1040    defining Unicode char U+011F (decimal 287)
1041    defining Unicode char U+0130 (decimal 304)
1042    defining Unicode char U+0131 (decimal 305)
1043    defining Unicode char U+0132 (decimal 306)
1044    defining Unicode char U+0133 (decimal 307)
1045    defining Unicode char U+0139 (decimal 313)
1046    defining Unicode char U+013A (decimal 314)
1047    defining Unicode char U+013D (decimal 317)
1048    defining Unicode char U+013E (decimal 318)
1049    defining Unicode char U+0141 (decimal 321)
1050    defining Unicode char U+0142 (decimal 322)
1051    defining Unicode char U+0143 (decimal 323)
1052    defining Unicode char U+0144 (decimal 324)
1053    defining Unicode char U+0147 (decimal 327)
1054    defining Unicode char U+0148 (decimal 328)
1055    defining Unicode char U+014A (decimal 330)
1056    defining Unicode char U+014B (decimal 331)
1057    defining Unicode char U+0150 (decimal 336)
1058    defining Unicode char U+0151 (decimal 337)
1059    defining Unicode char U+0152 (decimal 338)
1060    defining Unicode char U+0153 (decimal 339)
1061    defining Unicode char U+0154 (decimal 340)
1062    defining Unicode char U+0155 (decimal 341)
1063    defining Unicode char U+0158 (decimal 344)
1064    defining Unicode char U+0159 (decimal 345)
1065    defining Unicode char U+015A (decimal 346)
1066    defining Unicode char U+015B (decimal 347)
1067    defining Unicode char U+015E (decimal 350)
1068    defining Unicode char U+015F (decimal 351)
1069    defining Unicode char U+0160 (decimal 352)
1070    defining Unicode char U+0161 (decimal 353)
1071    defining Unicode char U+0162 (decimal 354)
1072    defining Unicode char U+0163 (decimal 355)
1073    defining Unicode char U+0164 (decimal 356)
1074    defining Unicode char U+0165 (decimal 357)
1075    defining Unicode char U+016E (decimal 366)
1076    defining Unicode char U+016F (decimal 367)
1077    defining Unicode char U+0170 (decimal 368)
1078    defining Unicode char U+0171 (decimal 369)
1079    defining Unicode char U+0178 (decimal 376)
1080    defining Unicode char U+0179 (decimal 377)
1081    defining Unicode char U+017A (decimal 378)
1082    defining Unicode char U+017B (decimal 379)
1083    defining Unicode char U+017C (decimal 380)
1084    defining Unicode char U+017D (decimal 381)
1085    defining Unicode char U+017E (decimal 382)
1086    defining Unicode char U+200C (decimal 8204)
1087    defining Unicode char U+2013 (decimal 8211)
1088    defining Unicode char U+2014 (decimal 8212)
1089    defining Unicode char U+2018 (decimal 8216)
1090    defining Unicode char U+2019 (decimal 8217)
1091    defining Unicode char U+201A (decimal 8218)
1092    defining Unicode char U+201C (decimal 8220)
1093    defining Unicode char U+201D (decimal 8221)
1094    defining Unicode char U+201E (decimal 8222)
1095    defining Unicode char U+2030 (decimal 8240)
1096    defining Unicode char U+2031 (decimal 8241)
1097    defining Unicode char U+2039 (decimal 8249)
1098    defining Unicode char U+203A (decimal 8250)
1099    defining Unicode char U+2423 (decimal 9251)
1100 )
1101 Now handling font encoding OT1 ...
1102 ... processing UTF-8 mapping file for font encoding OT1
1103
1104 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
1105 File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
1106    defining Unicode char U+00A1 (decimal 161)
1107    defining Unicode char U+00A3 (decimal 163)
1108    defining Unicode char U+00B8 (decimal 184)
1109    defining Unicode char U+00BF (decimal 191)
1110    defining Unicode char U+00C5 (decimal 197)
1111    defining Unicode char U+00C6 (decimal 198)
1112    defining Unicode char U+00D8 (decimal 216)
1113    defining Unicode char U+00DF (decimal 223)
1114    defining Unicode char U+00E6 (decimal 230)
1115    defining Unicode char U+00EC (decimal 236)
1116    defining Unicode char U+00ED (decimal 237)
1117    defining Unicode char U+00EE (decimal 238)
1118    defining Unicode char U+00EF (decimal 239)
1119    defining Unicode char U+00F8 (decimal 248)
1120    defining Unicode char U+0131 (decimal 305)
1121    defining Unicode char U+0141 (decimal 321)
1122    defining Unicode char U+0142 (decimal 322)
1123    defining Unicode char U+0152 (decimal 338)
1124    defining Unicode char U+0153 (decimal 339)
1125    defining Unicode char U+2013 (decimal 8211)
1126    defining Unicode char U+2014 (decimal 8212)
1127    defining Unicode char U+2018 (decimal 8216)
1128    defining Unicode char U+2019 (decimal 8217)
1129    defining Unicode char U+201C (decimal 8220)
1130    defining Unicode char U+201D (decimal 8221)
1131 )
1132 Now handling font encoding OMS ...
1133 ... processing UTF-8 mapping file for font encoding OMS
1134
1135 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
1136 File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
1137    defining Unicode char U+00A7 (decimal 167)
1138    defining Unicode char U+00B6 (decimal 182)
1139    defining Unicode char U+00B7 (decimal 183)
1140    defining Unicode char U+2020 (decimal 8224)
1141    defining Unicode char U+2021 (decimal 8225)
1142    defining Unicode char U+2022 (decimal 8226)
1143 )
1144 Now handling font encoding OMX ...
1145 ... no UTF-8 mapping file for font encoding OMX
1146 Now handling font encoding U ...
1147 ... no UTF-8 mapping file for font encoding U
1148 Now handling font encoding PD1 ...
1149 ... no UTF-8 mapping file for font encoding PD1
1150    defining Unicode char U+00A9 (decimal 169)
1151    defining Unicode char U+00AA (decimal 170)
1152    defining Unicode char U+00AE (decimal 174)
1153    defining Unicode char U+00BA (decimal 186)
1154    defining Unicode char U+02C6 (decimal 710)
1155    defining Unicode char U+02DC (decimal 732)
1156    defining Unicode char U+200C (decimal 8204)
1157    defining Unicode char U+2026 (decimal 8230)
1158    defining Unicode char U+2122 (decimal 8482)
1159    defining Unicode char U+2423 (decimal 9251)
1160 ))
1161 \@auxoutJ=\write4
1162  (./J.aux)
1163 \openout4 = `J.aux'.
1164
1165 \c@hdr@bibliotype@numberof@J=\count191
1166
1167 *** define extension value defensedate ****
1168 *** define extension value primaryabstractstyle ****
1169 \c@theorem=\count192
1170 \c@lemma=\count193
1171 \c@Proof=\count194
1172  (./main.aux
1173
1174 LaTeX Warning: Label `Theo:sound' multiply defined.
1175
1176
1177 LaTeX Warning: Label `Theo:completeness' multiply defined.
1178
1179 )
1180 \openout1 = `main.aux'.
1181
1182 LaTeX Font Info:    Checking defaults for OML/txmi/m/it on input line 131.
1183 LaTeX Font Info:    Try loading font information for OML+txmi on input line 131
1184 .
1185  (/usr/share/texlive/texmf-dist/tex/latex/txfonts/omltxmi.fd
1186 File: omltxmi.fd 2000/12/15 v3.1
1187 )
1188 LaTeX Font Info:    ... okay on input line 131.
1189 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 131.
1190 LaTeX Font Info:    ... okay on input line 131.
1191 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 131.
1192 LaTeX Font Info:    ... okay on input line 131.
1193 LaTeX Font Info:    Checking defaults for OMS/txsy/m/n on input line 131.
1194 LaTeX Font Info:    Try loading font information for OMS+txsy on input line 131
1195 .
1196
1197 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/omstxsy.fd
1198 File: omstxsy.fd 2000/12/15 v3.1
1199 )
1200 LaTeX Font Info:    ... okay on input line 131.
1201 LaTeX Font Info:    Checking defaults for OMX/txex/m/n on input line 131.
1202 LaTeX Font Info:    Try loading font information for OMX+txex on input line 131
1203 .
1204
1205 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/omxtxex.fd
1206 File: omxtxex.fd 2000/12/15 v3.1
1207 )
1208 LaTeX Font Info:    ... okay on input line 131.
1209 LaTeX Font Info:    Checking defaults for U/txexa/m/n on input line 131.
1210 LaTeX Font Info:    Try loading font information for U+txexa on input line 131.
1211
1212
1213 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxexa.fd
1214 File: utxexa.fd 2000/12/15 v3.1
1215 )
1216 LaTeX Font Info:    ... okay on input line 131.
1217 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 131.
1218 LaTeX Font Info:    ... okay on input line 131.
1219 LaTeX Font Info:    Try loading font information for OT1+phv on input line 131.
1220
1221
1222 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd
1223 File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv.
1224 )
1225 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
1226 [Loading MPS to PDF converter (version 2006.09.02).]
1227 \scratchcounter=\count195
1228 \scratchdimen=\dimen174
1229 \scratchbox=\box81
1230 \nofMPsegments=\count196
1231 \nofMParguments=\count197
1232 \everyMPshowfont=\toks54
1233 \MPscratchCnt=\count198
1234 \MPscratchDim=\dimen175
1235 \MPnumerator=\count199
1236 \makeMPintoPDFobject=\count200
1237 \everyMPtoPDFconversion=\toks55
1238 )
1239 LaTeX Info: Redefining \degres on input line 131.
1240 LaTeX Info: Redefining \dots on input line 131.
1241 LaTeX Info: Redefining \up on input line 131.
1242
1243
1244 Package frenchb.ldf Warning: OT1 encoding should not be used for French.
1245 (frenchb.ldf)                Add \usepackage[T1]{fontenc} to the preamble
1246 (frenchb.ldf)                of your document, on input line 131.
1247
1248 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
1249 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
1250
1251 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
1252 Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
1253 )
1254 Package grfext Info: Graphics extension search list:
1255 (grfext)             [.pdf,.png,.jpg,.jpeg,.gif,.eps]
1256 (grfext)             \AppendGraphicsExtensions on input line 452.
1257
1258 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
1259 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
1260 e
1261 ))
1262 *** Overriding the 'enumerate' environment. Pass option 'standardlists' for avo
1263 iding this override.
1264 *** Overriding the 'description' environment. Pass option 'standardlists' for a
1265 voiding this override.
1266 \AtBeginShipoutBox=\box82
1267 Package hyperref Info: Link coloring OFF on input line 131.
1268
1269 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
1270 Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
1271
1272 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
1273 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
1274 )
1275 \c@section@level=\count201
1276 LaTeX Info: Redefining \Ref on input line 513.
1277 )
1278 LaTeX Info: Redefining \ref on input line 131.
1279 LaTeX Info: Redefining \pageref on input line 131.
1280 LaTeX Info: Redefining \nameref on input line 131.
1281
1282 (./main.out) (./main.out)
1283 \@outlinefile=\write5
1284 \openout5 = `main.out'.
1285
1286 LaTeX Info: Redefining \Ref on input line 131.
1287  ************ USE CUSTOM FRONT COVER
1288 <spimufchdr-frontpage.pdf, id=100, 597.50926pt x 844.83629pt>
1289 File: spimufchdr-frontpage.pdf Graphic file (type pdf)
1290
1291 <use spimufchdr-frontpage.pdf>
1292 Package pdftex.def Info: spimufchdr-frontpage.pdf used on input line 131.
1293 (pdftex.def)             Requested size: 600.00592pt x 855.01823pt.
1294  [1
1295
1296
1297 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./spimufchdr-frontpage.pdf
1298 >] [2
1299
1300 ]
1301 <spimufchdr-p3-head.pdf, id=158, 598.235pt x 285.065pt>
1302 File: spimufchdr-p3-head.pdf Graphic file (type pdf)
1303
1304 <use spimufchdr-p3-head.pdf>
1305 Package pdftex.def Info: spimufchdr-p3-head.pdf used on input line 131.
1306 (pdftex.def)             Requested size: 600.0pt x 285.92554pt.
1307 LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <10.95> not available
1308 (Font)              Font shape `OT1/phv/b/n' tried instead on input line 131.
1309 LaTeX Font Info:    Try loading font information for OT1+txr on input line 131.
1310
1311
1312 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txr.fd
1313 File: ot1txr.fd 2000/12/15 v3.1
1314 )
1315 LaTeX Font Info:    Try loading font information for U+txmia on input line 131.
1316
1317
1318 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxmia.fd
1319 File: utxmia.fd 2000/12/15 v3.1
1320 )
1321 LaTeX Font Info:    Try loading font information for U+txsya on input line 131.
1322
1323
1324 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsya.fd
1325 File: utxsya.fd 2000/12/15 v3.1
1326 )
1327 LaTeX Font Info:    Try loading font information for U+txsyb on input line 131.
1328
1329
1330 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyb.fd
1331 File: utxsyb.fd 2000/12/15 v3.1
1332 )
1333 LaTeX Font Info:    Try loading font information for U+txsyc on input line 131.
1334
1335
1336 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyc.fd
1337 File: utxsyc.fd 2000/12/15 v3.1
1338 ) [3 <./spimufchdr-p3-head.pdf>] [4
1339
1340 ]
1341 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary-
1342 English.dict
1343 Dictionary: glossaries-dictionary, Language: English
1344 )
1345 (/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary-
1346 French.dict
1347 Dictionary: glossaries-dictionary, Language: French
1348 ) (./main.glsdefs)
1349 \c@lstlisting=\count202
1350  (./glossaire.tex
1351 \@gls@deffile=\write6
1352 \openout6 = `main.glsdefs'.
1353
1354 ) [5
1355
1356 ] [6
1357
1358 ] [1
1359
1360 ] [2]
1361 Chapitre 1.
1362 LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <10.95> not available
1363 (Font)              Font shape `OT1/phv/m/sl' tried instead on input line 154.
1364 (./sdd.tex
1365 LaTeX Font Info:    Try loading font information for U+dsrom on input line 15.
1366  (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/Udsrom.fd
1367 File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions
1368 )
1369 [3
1370
1371 ] <images/g.pdf, id=251, 84.315pt x 260.975pt>
1372 File: images/g.pdf Graphic file (type pdf)
1373  <use images/g.pdf>
1374 Package pdftex.def Info: images/g.pdf used on input line 97.
1375 (pdftex.def)             Requested size: 33.72539pt x 104.38815pt.
1376
1377 <images/h.pdf, id=252, 80.3pt x 260.975pt>
1378 File: images/h.pdf Graphic file (type pdf)
1379  <use images/h.pdf>
1380 Package pdftex.def Info: images/h.pdf used on input line 105.
1381 (pdftex.def)             Requested size: 32.11942pt x 104.38815pt.
1382  [4 <./images/g.pdf> <./images/h.pdf>] <images/gp.pdf, id=270, 90.3375pt x 134.
1383 5025pt>
1384 File: images/gp.pdf Graphic file (type pdf)
1385
1386 <use images/gp.pdf>
1387 Package pdftex.def Info: images/gp.pdf used on input line 161.
1388 (pdftex.def)             Requested size: 36.13435pt x 53.80003pt.
1389  <images/hp.pdf, id=271, 102.3825pt x 134.5025pt>
1390 File: images/hp.pdf Graphic file (type pdf)
1391
1392 <use images/hp.pdf>
1393 Package pdftex.def Info: images/hp.pdf used on input line 169.
1394 (pdftex.def)             Requested size: 40.95227pt x 53.80003pt.
1395
1396
1397 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1398 (hyperref)                removing `math shift' on input line 203.
1399
1400
1401 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1402 (hyperref)                removing `\delimiter' on input line 203.
1403
1404
1405 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1406 (hyperref)                removing `\delimiter' on input line 203.
1407
1408
1409 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1410 (hyperref)                removing `superscript' on input line 203.
1411
1412
1413 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1414 (hyperref)                removing `\times' on input line 203.
1415
1416
1417 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1418 (hyperref)                removing `superscript' on input line 203.
1419
1420
1421 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1422 (hyperref)                removing `math shift' on input line 203.
1423
1424 ) [5 <./images/gp.pdf> <./images/hp.pdf>] [6
1425
1426 ]
1427 Chapitre 2.
1428 (./mixage.tex [7]
1429 Package epstopdf Info: Source file: <images/xplgraphmix.eps>
1430 (epstopdf)                    date: 2014-07-01 08:59:47
1431 (epstopdf)                    size: 8970 bytes
1432 (epstopdf)             Output file: <images/xplgraphmix-eps-converted-to.pdf>
1433 (epstopdf)                    date: 2014-07-01 08:59:52
1434 (epstopdf)                    size: 5003 bytes
1435 (epstopdf)             Command: <repstopdf --outfile=images/xplgraphmix-eps-con
1436 verted-to.pdf images/xplgraphmix.eps>
1437 (epstopdf)             \includegraphics on input line 115.
1438 Package epstopdf Info: Output file is already uptodate.
1439
1440 <images/xplgraphmix-eps-converted-to.pdf, id=313, 199.74625pt x 309.155pt>
1441 File: images/xplgraphmix-eps-converted-to.pdf Graphic file (type pdf)
1442
1443 <use images/xplgraphmix-eps-converted-to.pdf>
1444 Package pdftex.def Info: images/xplgraphmix-eps-converted-to.pdf used on input
1445 line 115.
1446 (pdftex.def)             Requested size: 109.86076pt x 170.03577pt.
1447 Package epstopdf Info: Source file: <images/para_iterate_dec.eps>
1448 (epstopdf)                    date: 2014-07-01 08:39:45
1449 (epstopdf)                    size: 18996 bytes
1450 (epstopdf)             Output file: <images/para_iterate_dec-eps-converted-to.p
1451 df>
1452 (epstopdf)                    date: 2014-07-01 08:47:14
1453 (epstopdf)                    size: 5999 bytes
1454 (epstopdf)             Command: <repstopdf --outfile=images/para_iterate_dec-ep
1455 s-converted-to.pdf images/para_iterate_dec.eps>
1456 (epstopdf)             \includegraphics on input line 125.
1457 Package epstopdf Info: Output file is already uptodate.
1458
1459 <images/para_iterate_dec-eps-converted-to.pdf, id=314, 428.60126pt x 298.11375p
1460 t>
1461 File: images/para_iterate_dec-eps-converted-to.pdf Graphic file (type pdf)
1462  <use images/para_iterate_dec-eps-converted-to.pdf>
1463 Package pdftex.def Info: images/para_iterate_dec-eps-converted-to.pdf used on i
1464 nput line 125.
1465 (pdftex.def)             Requested size: 235.73141pt x 163.96306pt.
1466 Package epstopdf Info: Source file: <images/chao_iterate_excerpt.eps>
1467 (epstopdf)                    date: 2014-07-01 08:43:07
1468 (epstopdf)                    size: 10160 bytes
1469 (epstopdf)             Output file: <images/chao_iterate_excerpt-eps-converted-
1470 to.pdf>
1471 (epstopdf)                    date: 2014-07-01 08:47:31
1472 (epstopdf)                    size: 5024 bytes
1473 (epstopdf)             Command: <repstopdf --outfile=images/chao_iterate_excerp
1474 t-eps-converted-to.pdf images/chao_iterate_excerpt.eps>
1475 (epstopdf)             \includegraphics on input line 130.
1476 Package epstopdf Info: Output file is already uptodate.
1477
1478 <images/chao_iterate_excerpt-eps-converted-to.pdf, id=315, 322.20375pt x 170.63
1479 75pt>
1480 File: images/chao_iterate_excerpt-eps-converted-to.pdf Graphic file (type pdf)
1481  <use images/chao_iterate_excerpt-eps-converted-to.pdf>
1482 Package pdftex.def Info: images/chao_iterate_excerpt-eps-converted-to.pdf used
1483 on input line 130.
1484 (pdftex.def)             Requested size: 177.2126pt x 93.8509pt.
1485
1486 Overfull \hbox (10.51457pt too wide) in paragraph at lines 130--131
1487 [][]
1488  []
1489
1490
1491 Overfull \hbox (59.69626pt too wide) has occurred while \output is active
1492 \OT1/phv/m/n/10.95 8 \OT1/phv/m/sl/10.95 CHAPITRE 2.  COMBINAISONS SYNCHRONES E
1493 T ASYNCHRONES DE SYST[]EMES BOOL[]EENS
1494  []
1495
1496 [8 <./images/xplgraphmix-eps-converted-to.pdf>]) [9 <./images/para_iterate_dec-
1497 eps-converted-to.pdf> <./images/chao_iterate_excerpt-eps-converted-to.pdf>]
1498 [10
1499
1500 ]
1501 Chapitre 3.
1502 (./modelchecking.tex
1503 Package hyperref Info: bookmark level for unknown xpl defaults to 0 on input li
1504 ne 8.
1505 Package epstopdf Info: Source file: <images/xplCnxMc.eps>
1506 (epstopdf)                    date: 2014-06-28 16:34:41
1507 (epstopdf)                    size: 7803 bytes
1508 (epstopdf)             Output file: <images/xplCnxMc-eps-converted-to.pdf>
1509 (epstopdf)                    date: 2014-06-28 16:35:22
1510 (epstopdf)                    size: 4536 bytes
1511 (epstopdf)             Command: <repstopdf --outfile=images/xplCnxMc-eps-conver
1512 ted-to.pdf images/xplCnxMc.eps>
1513 (epstopdf)             \includegraphics on input line 33.
1514 Package epstopdf Info: Output file is already uptodate.
1515
1516 <images/xplCnxMc-eps-converted-to.pdf, id=354, 262.9825pt x 77.28876pt>
1517 File: images/xplCnxMc-eps-converted-to.pdf Graphic file (type pdf)
1518
1519 <use images/xplCnxMc-eps-converted-to.pdf>
1520 Package pdftex.def Info: images/xplCnxMc-eps-converted-to.pdf used on input lin
1521 e 33.
1522 (pdftex.def)             Requested size: 113.81102pt x 33.44815pt.
1523
1524 Underfull \hbox (badness 10000) in paragraph at lines 35--35
1525 []\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.2 { []Graphe
1526  []
1527
1528 LaTeX Font Info:    Try loading font information for OMS+phv on input line 80.
1529 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsphv.fd
1530 File: omsphv.fd
1531 )
1532 LaTeX Font Info:    Font shape `OMS/phv/m/n' in size <6> not available
1533 (Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 80.
1534
1535 Underfull \vbox (badness 10000) has occurred while \output is active []
1536
1537  [11 <./images/xplCnxMc-eps-converted-to.pdf>]
1538 LaTeX Font Info:    Try loading font information for OT1+txtt on input line 95.
1539
1540
1541 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txtt.fd
1542 File: ot1txtt.fd 2000/12/15 v3.1
1543 )
1544 LaTeX Font Info:    Font shape `OT1/txtt/m/it' in size <10.95> not available
1545 (Font)              Font shape `OT1/txtt/m/sl' tried instead on input line 127.
1546
1547  [12]
1548 LaTeX Font Info:    Try loading font information for OML+phv on input line 198.
1549
1550
1551 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omlphv.fd
1552 File: omlphv.fd
1553 )
1554 LaTeX Font Info:    Font shape `OML/phv/m/n' in size <6> not available
1555 (Font)              Font shape `OML/cmm/m/it' tried instead on input line 198.
1556
1557 Underfull \hbox (badness 10000) in paragraph at lines 253--253
1558 []\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.6 { []Process
1559  []
1560
1561
1562 Underfull \vbox (badness 10000) has occurred while \output is active []
1563
1564  [13]
1565
1566 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1567 (hyperref)                removing `math shift' on input line 303.
1568
1569
1570 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1571 (hyperref)                removing `math shift' on input line 303.
1572
1573 [14]
1574 Underfull \hbox (badness 3482) in paragraph at lines 497--499
1575 []\OT1/phv/m/n/10.95 sinon, on af-fecte []a []\OT1/txtt/m/n/10.95 Xd[j].v[i] \O
1576 T1/phv/m/n/10.95 la va-leur m[]emoris[]ee dans le ca-nal
1577  []
1578
1579 [15]
1580 Underfull \hbox (badness 2261) in paragraph at lines 515--523
1581 []\OT1/phv/m/n/10.95 L'introduction de l'ind[]eterminisme []a la fois dans les
1582 fonc-tions []\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 et
1583  []
1584
1585 LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <8> not available
1586 (Font)              Font shape `OT1/phv/b/n' tried instead on input line 575.
1587 Package hyperref Info: bookmark level for unknown theorem defaults to 0 on inpu
1588 t line 575.
1589 [16]
1590 Package hyperref Info: bookmark level for unknown Proof defaults to 0 on input
1591 line 605.
1592  [17]
1593 Underfull \hbox (badness 10000) in paragraph at lines 776--779
1594 []\OT1/phv/m/sl/10.95 Quid de ceci?[] \OT1/phv/m/n/10.95 La conver-gence des it
1595 []erations asyn-chrones de
1596  []
1597
1598
1599 Underfull \hbox (badness 1303) in paragraph at lines 776--779
1600 \OT1/phv/m/n/10.95 l'exemple [[]] n'est pas []etablie lorsque pour $\OML/txmi/m
1601 /it/10.95 ^^N[]$ \OT1/phv/m/n/10.95 vaut 1. Il ne peut
1602  []
1603
1604 Package epstopdf Info: Source file: <images/RC07ce.eps>
1605 (epstopdf)                    date: 2014-06-30 13:31:45
1606 (epstopdf)                    size: 51342 bytes
1607 (epstopdf)             Output file: <images/RC07ce-eps-converted-to.pdf>
1608 (epstopdf)                    date: 2014-06-30 13:34:16
1609 (epstopdf)                    size: 9444 bytes
1610 (epstopdf)             Command: <repstopdf --outfile=images/RC07ce-eps-converte
1611 d-to.pdf images/RC07ce.eps>
1612 (epstopdf)             \includegraphics on input line 782.
1613 Package epstopdf Info: Output file is already uptodate.
1614 <images/RC07ce-eps-converted-to.pdf, id=628, 315.1775pt x 567.11874pt>
1615 File: images/RC07ce-eps-converted-to.pdf Graphic file (type pdf)
1616
1617 <use images/RC07ce-eps-converted-to.pdf>
1618 Package pdftex.def Info: images/RC07ce-eps-converted-to.pdf used on input line
1619 782.
1620 (pdftex.def)             Requested size: 189.10796pt x 340.27386pt.
1621
1622 Underfull \hbox (badness 10000) in paragraph at lines 815--825
1623 []\OT1/phv/m/n/10.95 Des m[]ethodes de si-mu-la-tion bas[]ees sur des strat[]eg
1624 ies et des d[]elais
1625  []
1626
1627
1628 Underfull \hbox (badness 10000) in paragraph at lines 815--825
1629 \OT1/phv/m/n/10.95 g[]en[]er[]es al[]eatoirement ont d[]ej[]a []et[]e pr[]esent
1630 []ees [[],
1631  []
1632
1633
1634 Underfull \hbox (badness 4792) in paragraph at lines 815--825
1635 []\OT1/phv/m/n/10.95 ]. Ce-pen-dant, comme ces im-plan-ta-tions ne sont
1636  []
1637
1638 ) [18] [19 <./images/RC07ce-eps-converted-to.pdf>] [20]
1639 Annexe A.
1640 LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <14.4> not available
1641 (Font)              Font shape `OT1/phv/b/n' tried instead on input line 187.
1642
1643 LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 187.
1644
1645 (./annexesccg.tex
1646 Package hyperref Info: bookmark level for unknown lemma defaults to 0 on input
1647 line 17.
1648
1649
1650 LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 63.
1651
1652 [21
1653
1654 ])
1655
1656 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1657 (hyperref)                removing `math shift' on input line 190.
1658
1659
1660 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1661 (hyperref)                removing `subscript' on input line 190.
1662
1663
1664 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1665 (hyperref)                removing `math shift' on input line 190.
1666
1667
1668 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1669 (hyperref)                removing `math shift' on input line 190.
1670
1671
1672 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1673 (hyperref)                removing `math shift' on input line 190.
1674
1675 (./annexecontinuite.tex)
1676 Underfull \hbox (badness 4279) in paragraph at lines 46--192
1677 \OT1/phv/m/n/10.95 Pour conclure, pour tout $\OML/txmi/m/it/10.95 ^^O > \OT1/tx
1678 r/m/n/10.95 0$\OT1/phv/m/n/10.95 , $\OMS/txsy/m/n/10.95 9 \OML/txmi/m/it/10.95
1679 T[] \OT1/txr/m/n/10.95 = [](\OML/txmi/m/it/10.95 t[]; t[]; t[]\OT1/txr/m/n/10.9
1680 5 ) \OMS/txsy/m/n/10.95 2 \U/txsyb/m/n/10.95 N[]\OMS/txsy/m/n/10.95 8\OML/txmi/
1681 m/it/10.95 t >
1682  []
1683
1684 (./annexePromelaProof.tex [22]
1685 Underfull \hbox (badness 10000) in paragraph at lines 52--58
1686 []\OT1/phv/m/n/10.95 Let us show how to make the in-de-ter-mi-nism in-side the
1687 two func-tions
1688  []
1689
1690
1691 Underfull \hbox (badness 10000) in paragraph at lines 52--58
1692 []\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 and []\OT1/txtt/m/n/10.95
1693  diffuse_values \OT1/phv/m/n/10.95 com-pliant with ([]2.2[]). The func-tion $\O
1694 ML/txmi/m/it/10.95 M[]$
1695  []
1696
1697
1698 Underfull \hbox (badness 10000) in paragraph at lines 52--58
1699 \OT1/phv/m/n/10.95 is ob-tai-ned by the suc-ces-sive up-dates of $\OML/txmi/m/i
1700 t/10.95 M[]$ \OT1/phv/m/n/10.95 through the two func-tions
1701  []
1702
1703
1704 Overfull \hbox (237.9212pt too wide) has occurred while \output is active
1705 \OT1/phv/m/sl/10.95 A.3.  PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE
1706  DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 23
1707  []
1708
1709 [23]
1710 Underfull \hbox (badness 10000) in paragraph at lines 82--86
1711 [][]\OT1/phv/b/n/10.95 Lemme $[]$ \OT1/phv/m/n/10.95 (Exis-tence of SPIN Exe-cu
1712 -tion)\OT1/phv/b/n/10.95 . []\OT1/phv/m/sl/10.95 For any se-quences $\OT1/txr/m
1713 /n/10.95 (\OML/txmi/m/it/10.95 S[]\OT1/txr/m/n/10.95 )[]$\OT1/phv/m/sl/10.95 ,
1714  []
1715
1716
1717 Underfull \hbox (badness 4429) in paragraph at lines 118--123
1718 []\OT1/phv/m/sl/10.95 Next, the first call to the func-tion []\OT1/txtt/m/n/10.
1719 95 fetch_value \OT1/phv/m/sl/10.95 ei-ther as-si-gns the head of
1720  []
1721
1722
1723 Underfull \hbox (badness 1874) in paragraph at lines 125--131
1724 []\OT1/phv/m/sl/10.95 For the last item, let $\OML/txmi/m/it/10.95 k$\OT1/phv/m
1725 /sl/10.95 , $\OT1/txr/m/n/10.95 0 \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95
1726 k \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95 n \OMS/txsy/m/n/10.95 ^^@ \OT1/t
1727 xr/m/n/10.95 1$\OT1/phv/m/sl/10.95 . At the end of the first exe-cu-tion
1728  []
1729
1730
1731 Underfull \hbox (badness 10000) in paragraph at lines 125--131
1732 \OT1/phv/m/sl/10.95 of the []\OT1/txtt/m/n/10.95 update_elems \OT1/phv/m/sl/10.
1733 95 pro-cess, the va-lue of []\OT1/txtt/m/n/10.95 Xp[k] \OT1/phv/m/sl/10.95 is
1734  []
1735
1736
1737 Underfull \hbox (badness 5504) in paragraph at lines 125--131
1738 \OML/txmi/m/it/10.95 F\OT1/txr/m/n/10.95 ([]\OML/txmi/m/it/10.95 k[]; [] ; []k[
1739 ]n \OMS/txsy/m/n/10.95 ^^@ \OT1/txr/m/n/10.95 1[])$\OT1/phv/m/sl/10.95 . Thus,
1740 by de-fi-ni-tion of $\OML/txmi/m/it/10.95 Xd$\OT1/phv/m/sl/10.95 , it is equal
1741 to
1742  []
1743
1744
1745 Underfull \hbox (badness 5022) in paragraph at lines 154--164
1746 []\OT1/phv/m/sl/10.95 if $[]\OT1/txr/m/n/10.95 (\OML/txmi/m/it/10.95 M[]\OT1/tx
1747 r/m/n/10.95 ) = \OMS/txsy/m/n/10.95 f\OT1/txr/m/n/10.95 0\OMS/txsy/m/n/10.95 g$
1748  \OT1/phv/m/sl/10.95 and $\OMS/txsy/m/n/10.95 9\OML/txmi/m/it/10.95 k : k \OMS/
1749 txsy/m/n/10.95 ^^U \OML/txmi/m/it/10.95 l \OMS/txsy/m/n/10.95 ^ \OML/txmi/m/it/
1750 10.95 D[] \OT1/txr/m/n/10.95 = \OML/txmi/m/it/10.95 l$ \OT1/phv/m/sl/10.95 is e
1751 s-ta-bli-shed then
1752  []
1753
1754
1755 Underfull \hbox (badness 1917) in paragraph at lines 154--164
1756 \OML/txmi/m/it/10.95 M[]\OT1/txr/m/n/10.95 (0)$ \OT1/phv/m/sl/10.95 is $\OT1/tx
1757 r/m/n/10.95 ([]\OML/txmi/m/it/10.95 ; l; c[]\OT1/txr/m/n/10.95 )$ \OT1/phv/m/sl
1758 /10.95 that is ad-ded in the []\OT1/txtt/m/n/10.95 diffuse_values \OT1/phv/m/sl
1759 /10.95 func-tion s.t.
1760  []
1761
1762 [24]
1763 Overfull \hbox (237.9212pt too wide) has occurred while \output is active
1764 \OT1/phv/m/sl/10.95 A.3.  PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE
1765  DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 25
1766  []
1767
1768 [25]) [26] (./main.bbl) [27
1769
1770
1771 ] [28
1772
1773 ] (./main.lof)
1774 \tf@lof=\write7
1775 \openout7 = `main.lof'.
1776
1777  [29] [30
1778
1779 ] (./main.lot)
1780 \tf@lot=\write8
1781 \openout8 = `main.lot'.
1782
1783
1784 showing upmdefinition
1785 [31] [32
1786
1787 ] (./main.loe) [33] [34
1788
1789 ] [35]
1790
1791 pdfTeX warning: pdflatex (file ./spimufchdr-backpage.pdf): PDF inclusion: found
1792  PDF version <1.6>, but at most version <1.5> allowed
1793 <spimufchdr-backpage.pdf, id=804, 597.432pt x 844.83629pt>
1794 File: spimufchdr-backpage.pdf Graphic file (type pdf)
1795
1796 <use spimufchdr-backpage.pdf>
1797 Package pdftex.def Info: spimufchdr-backpage.pdf used on input line 204.
1798 (pdftex.def)             Requested size: 600.04684pt x 900.02122pt.
1799 LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <12> not available
1800 (Font)              Font shape `OT1/phv/b/n' tried instead on input line 204.
1801
1802
1803 Package glossaries Warning: \makeglossaries hasn't been used,
1804 the glossaries will not be updated.
1805
1806
1807 Package glossaries Warning: No \printglossary or \printglossaries found.
1808 This document will not have a glossary.
1809
1810 \tf@loe=\write9
1811 \openout9 = `main.loe'.
1812
1813 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 204.
1814 [36
1815
1816  <./spimufchdr-backpage.pdf>]
1817 Package atveryend Info: Empty hook `AfterLastShipout' on input line 204.
1818  (./main.aux)
1819 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 204.
1820 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 204.
1821 Package rerunfilecheck Info: File `main.out' has not changed.
1822 (rerunfilecheck)             Checksum: 67DDDB32782B2C2F894DE32A335BCC37;2017.
1823
1824
1825 LaTeX Warning: There were undefined references.
1826
1827
1828 LaTeX Warning: There were multiply-defined labels.
1829
1830 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 204.
1831  )
1832 Here is how much of TeX's memory you used:
1833  17062 strings out of 494999
1834  255029 string characters out of 6180228
1835  443742 words of memory out of 5000000
1836  19402 multiletter control sequences out of 15000+600000
1837  91438 words of font info for 182 fonts, out of 8000000 for 9000
1838  14 hyphenation exceptions out of 8191
1839  65i,15n,41p,1710b,1399s stack positions out of 5000i,500n,10000p,200000b,80000s
1840 pdfTeX warning (dest): name{cite.BCVC10\\penalty\040\\@M\040\040:ir} has been
1841  referenced but does not exist, replaced by a fixed one
1842
1843 pdfTeX warning (dest): name{glo:partieentiere} has been referenced but does not
1844  exist, replaced by a fixed one
1845
1846 pdfTeX warning (dest): name{glo:distanceHamming} has been referenced but does n
1847 ot exist, replaced by a fixed one
1848
1849 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texlive/
1850 texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-d
1851 ist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fon
1852 ts/type1/public/doublestroke/dsrom10.pfb></usr/share/texlive/texmf-dist/fonts/t
1853 ype1/public/doublestroke/dsrom12.pfb></usr/share/texlive/texmf-dist/fonts/type1
1854 /public/doublestroke/dsrom8.pfb></usr/share/texlive/texmf-dist/fonts/type1/publ
1855 ic/txfonts/rtxmi.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/
1856 rtxr.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/txex.pfb></u
1857 sr/share/texlive/texmf-dist/fonts/type1/public/txfonts/txsy.pfb></usr/share/tex
1858 live/texmf-dist/fonts/type1/public/txfonts/txsya.pfb></usr/share/texlive/texmf-
1859 dist/fonts/type1/public/txfonts/txsyb.pfb></usr/share/texlive/texmf-dist/fonts/
1860 type1/public/txfonts/txsyc.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
1861 c/txfonts/txtt.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/tx
1862 tt.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb></usr
1863 /share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texli
1864 ve/texmf-dist/fonts/type1/urw/helvetic/uhvro8a.pfb></usr/share/texlive/texmf-di
1865 st/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/
1866 urw/times/utmri8a.pfb>
1867 Output written on main.pdf (42 pages, 1729613 bytes).
1868 PDF statistics:
1869  950 PDF objects out of 1000 (max. 8388607)
1870  827 compressed objects within 9 object streams
1871  336 named destinations out of 1000 (max. 500000)
1872  253 words of extra memory for PDF output out of 10000 (max. 10000000)
1873