+++ /dev/null
-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
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**main.tex
-(./main.tex
-LaTeX2e <2011/06/27>
-Babel <3.9h> and hyphenation patterns for 4 languages loaded.
-(./spimufchdr.cls
-Document Class: spimufchdr 2014/03/03
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.cls
-Document Class: upmethodology-document 2014/06/23
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-p-common.sty
-Package: upmethodology-p-common 2014/03/03
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
-Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty
-Package: xspace 2009/10/20 v1.13 Space after command names (DPC,MH)
-)
-(/usr/share/texmf/tex/latex/xcolor/xcolor.sty
-Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
-File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
-)
-Package xcolor Info: Driver file: pdftex.def on input line 225.
-
-(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
-File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
-Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
-)
-\Gread@gobject=\count79
-)
-Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
-Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
-Package xcolor Info: Model `RGB' extended on input line 1353.
-Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
-Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
-Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
-Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
-Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
-Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
-)
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
-Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
-Package ifpdf Info: pdfTeX in PDF mode is detected.
-)
-(/usr/share/texmf/tex/latex/upmethodology/UPMVERSION.def))
-*********** UPMETHODOLOGY BOOK CLASS (WITH PART AND CHAPTER)
-(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
-Document Class: book 2007/10/19 v1.4h Standard LaTeX document class
-(/usr/share/texlive/texmf-dist/tex/latex/base/bk11.clo
-File: bk11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
-)
-\c@part=\count80
-\c@chapter=\count81
-\c@section=\count82
-\c@subsection=\count83
-\c@subsubsection=\count84
-\c@paragraph=\count85
-\c@subparagraph=\count86
-\c@figure=\count87
-\c@table=\count88
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\bibindent=\dimen102
-)
-(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
-Package: a4wide 1994/08/30
-
-(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty
-Package: a4 2004/04/15 v1.2g A4 based page layout
-))
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-document.sty
-Package: upmethodology-document 2013/09/29
-
-**** upmethodology-document is using French language ****
-(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
-Package: babel 2013/12/03 3.9h The Babel package
-
-(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
-Language: frenchb 2013/12/30 v2.6g French support from the babel system
-
-(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
-File: babel.def 2013/12/03 3.9h Babel common definitions
-\babel@savecnt=\count89
-\U@D=\dimen103
-)
-\FB@interchartokenstateORI=\count90
-Package babel Info: Making : an active character on input line 244.
-Package babel Info: Making ; an active character on input line 245.
-Package babel Info: Making ! an active character on input line 246.
-Package babel Info: Making ? an active character on input line 247.
-\FB@Mht=\dimen104
-\std@mcc=\count91
-\dec@mcc=\count92
-\listindentFB=\skip43
-\labelwidthFB=\skip44
-\leftmarginFB=\skip45
-\parindentFFN=\dimen105
-)
-(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
-Language: frenchb 2013/12/30 v2.6g French support from the babel system
-))
-(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks14
-)
-(/usr/share/texlive/texmf-dist/tex/latex/vmargin/vmargin.sty
-Package: vmargin 2004/07/15 V2.5 set document margins (VK)
-
-Package: vmargin 2004/07/15 V2.5 set document margins (VK)
-\PaperWidth=\dimen106
-\PaperHeight=\dimen107
-) (/usr/share/texmf/tex/latex/upmethodology/upmethodology-extension.sty
-Package: upmethodology-extension 2012/09/21
-\upmext@tmp@putx=\skip46
-
-*** define extension value frontillustrationsize ****
-*** define extension value watermarksize ****
-*** undefine extension value publisher ****
-*** undefine extension value copyrighter ****
-*** undefine extension value printedin ****)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-fmt.sty
-Package: upmethodology-fmt 2014/06/23
-
-**** upmethodology-fmt is using French language ****
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
-File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
-)
-Package graphics Info: Driver file: pdftex.def on input line 91.
-)
-\Gin@req@height=\dimen108
-\Gin@req@width=\dimen109
-)
-(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
-Package: subfigure 2002/03/15 v2.1.5 subfigure package
-\subfigtopskip=\skip47
-\subfigcapskip=\skip48
-\subfigcaptopadj=\dimen110
-\subfigbottomskip=\skip49
-\subfigcapmargin=\dimen111
-\subfiglabelskip=\skip50
-\c@subfigure=\count93
-\c@lofdepth=\count94
-\c@subtable=\count95
-\c@lotdepth=\count96
-
-****************************************
-* Local config file subfigure.cfg used *
-****************************************
-(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
-\subfig@top=\skip51
-\subfig@bottom=\skip52
-)
-(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
-Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
-
-(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
-Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
-\col@sep=\dimen112
-\extrarowheight=\dimen113
-\NC@list=\toks15
-\extratabsurround=\skip53
-\backup@length=\skip54
-)
-\TX@col@width=\dimen114
-\TX@old@table=\dimen115
-\TX@old@col=\dimen116
-\TX@target=\dimen117
-\TX@delta=\dimen118
-\TX@cols=\count97
-\TX@ftn=\toks16
-)
-(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
-Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi)
-\c@tracingmulticols=\count98
-\mult@box=\box26
-\multicol@leftmargin=\dimen119
-\c@unbalance=\count99
-\c@collectmore=\count100
-\doublecol@number=\count101
-\multicoltolerance=\count102
-\multicolpretolerance=\count103
-\full@width=\dimen120
-\page@free=\dimen121
-\premulticols=\dimen122
-\postmulticols=\dimen123
-\multicolsep=\skip55
-\multicolbaselineskip=\skip56
-\partial@page=\box27
-\last@line=\box28
-\mult@rightbox=\box29
-\mult@grightbox=\box30
-\mult@gfirstbox=\box31
-\mult@firstbox=\box32
-\@tempa=\box33
-\@tempa=\box34
-\@tempa=\box35
-\@tempa=\box36
-\@tempa=\box37
-\@tempa=\box38
-\@tempa=\box39
-\@tempa=\box40
-\@tempa=\box41
-\@tempa=\box42
-\@tempa=\box43
-\@tempa=\box44
-\@tempa=\box45
-\@tempa=\box46
-\@tempa=\box47
-\@tempa=\box48
-\@tempa=\box49
-\c@columnbadness=\count104
-\c@finalcolumnbadness=\count105
-\last@try=\dimen124
-\multicolovershoot=\dimen125
-\multicolundershoot=\dimen126
-\mult@nat@firstbox=\box50
-\colbreak@box=\box51
-\multicol@sort@counter=\count106
-)
-(/usr/share/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty
-Package: colortbl 2012/02/13 v1.0a Color table columns (DPC)
-\everycr=\toks17
-\minrowclearance=\skip57
-)
-(/usr/share/texlive/texmf-dist/tex/latex/picinpar/picinpar.sty
-Pictures in Paragraphs. Version 1.2a, July 13, 1993
-\br=\count107
-\bl=\count108
-\na=\count109
-\nb=\count110
-\tcdsav=\count111
-\tcl=\count112
-\tcd=\count113
-\tcn=\count114
-\cumtcl=\count115
-\cumpartcl=\count116
-\lftside=\dimen127
-\rtside=\dimen128
-\hpic=\dimen129
-\vpic=\dimen130
-\strutilg=\dimen131
-\picwd=\dimen132
-\topheight=\dimen133
-\ilg=\dimen134
-\lpic=\dimen135
-\lwindowsep=\dimen136
-\rwindowsep=\dimen137
-\cumpar=\dimen138
-\twa=\toks18
-\la=\toks19
-\ra=\toks20
-\ha=\toks21
-\pictoc=\toks22
-\rawtext=\box52
-\holder=\box53
-\windowbox=\box54
-\wartext=\box55
-\finaltext=\box56
-\aslice=\box57
-\bslice=\box58
-\wbox=\box59
-\wstrutbox=\box60
-\picbox=\box61
-\waslice=\box62
-\wbslice=\box63
-\fslice=\box64
-) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2013/01/14 v2.14 AMS math features
-\@mathmargin=\skip58
-
-For additional information on amsmath, use the `?' option.
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01
-
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0
-\@emptytoks=\toks23
-\ex@=\dimen139
-))
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d
-\pmbraise@=\dimen140
-)
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
-Package: amsopn 1999/12/14 v2.01 operator names
-)
-\inf@bad=\count117
-LaTeX Info: Redefining \frac on input line 210.
-\uproot@=\count118
-\leftroot@=\count119
-LaTeX Info: Redefining \overline on input line 306.
-\classnum@=\count120
-\DOTSCASE@=\count121
-LaTeX Info: Redefining \ldots on input line 378.
-LaTeX Info: Redefining \dots on input line 381.
-LaTeX Info: Redefining \cdots on input line 466.
-\Mathstrutbox@=\box65
-\strutbox@=\box66
-\big@size=\dimen141
-LaTeX Font Info: Redeclaring font encoding OML on input line 566.
-LaTeX Font Info: Redeclaring font encoding OMS on input line 567.
-\macc@depth=\count122
-\c@MaxMatrixCols=\count123
-\dotsspace@=\muskip10
-\c@parentequation=\count124
-\dspbrk@lvl=\count125
-\tag@help=\toks24
-\row@=\count126
-\column@=\count127
-\maxfields@=\count128
-\andhelp@=\toks25
-\eqnshift@=\dimen142
-\alignsep@=\dimen143
-\tagshift@=\dimen144
-\tagwidth@=\dimen145
-\totwidth@=\dimen146
-\lineht@=\dimen147
-\@envbody=\toks26
-\multlinegap=\skip59
-\multlinetaggap=\skip60
-\mathdisplay@stack=\toks27
-LaTeX Info: Redefining \[ on input line 2665.
-LaTeX Info: Redefining \] on input line 2666.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
-Package: amsthm 2004/08/06 v2.20
-\thm@style=\toks28
-\thm@bodyfont=\toks29
-\thm@headfont=\toks30
-\thm@notefont=\toks31
-\thm@headpunct=\toks32
-\thm@preskip=\skip61
-\thm@postskip=\skip62
-\thm@headsep=\skip63
-\dth@everypar=\toks33
-)
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thmtools.sty
-Package: thmtools 2012/05/04 v63
-\thmt@toks=\toks34
-\c@thmt@dummyctr=\count129
-
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-patch.sty
-Package: thm-patch 2012/05/04 v63
-
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/parseargs.sty
-Package: parseargs 2012/05/04 v63
-\@parsespec=\toks35
-))
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-kv.sty
-Package: thm-kv 2012/05/04 v63
-Package thm-kv Info: Theorem names will be uppercased on input line 40.
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
-Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
-Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
-Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
-Package ifluatex Info: LuaTeX not detected.
-)
-Package etexcmds Info: Could not find \expanded.
-(etexcmds) That can mean that you are not using pdfTeX 1.50 or
-(etexcmds) that some package has redefined \expanded.
-(etexcmds) In the latter case, load this package earlier.
-))
-Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 156.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-autoref.sty
-Package: thm-autoref 2012/05/04 v63
-
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/aliasctr.sty
-Package: aliasctr 2012/05/04 v63
-
-(/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty)))
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-listof.sty
-Package: thm-listof 2012/05/04 v63
-)
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-restate.sty
-Package: thm-restate 2012/05/04 v63
-)
-(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
-Package: thm-amsthm 2012/05/04 v63
-\thmt@style@headstyle=\toks36
-))
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/pifont.sty
-Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR)
-LaTeX Font Info: Try loading font information for U+pzd on input line 63.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upzd.fd
-File: upzd.fd 2001/06/04 font definitions for U/pzd.
-)
-LaTeX Font Info: Try loading font information for U+psy on input line 64.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upsy.fd
-File: upsy.fd 2001/06/04 font definitions for U/psy.
-))
-(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
-Package: setspace 2011/12/19 v6.7a set line spacing
-)
-(/usr/share/texlive/texmf-dist/tex/latex/tools/varioref.sty
-Package: varioref 2011/10/02 v1.4z package for extended references (FMi)
-\c@vrcnt=\count130
-)
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/txfonts.sty
-Package: txfonts 2008/01/22 v3.2.1
-LaTeX Font Info: Redeclaring symbol font `operators' on input line 21.
-LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
-(Font) OT1/cmr/m/n --> OT1/txr/m/n on input line 21.
-LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/txr/m/n on input line 21.
-LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
-(Font) OT1/txr/m/n --> OT1/txr/bx/n on input line 22.
-\symitalic=\mathgroup4
-LaTeX Font Info: Overwriting symbol font `italic' in version `bold'
-(Font) OT1/txr/m/it --> OT1/txr/bx/it on input line 26.
-LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 29.
-LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
-(Font) OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29.
-LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/txr/bx/n on input line 29.
-LaTeX Font Info: Redeclaring math alphabet \mathit on input line 30.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
-(Font) OT1/cmr/m/it --> OT1/txr/m/it on input line 30.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/cmr/bx/it --> OT1/txr/m/it on input line 30.
-LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/txr/m/it --> OT1/txr/bx/it on input line 31.
-LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 40.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
-(Font) OT1/cmss/m/n --> OT1/txss/m/n on input line 40.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/cmss/bx/n --> OT1/txss/m/n on input line 40.
-LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/txss/m/n --> OT1/txss/b/n on input line 41.
-LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 50.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
-(Font) OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/cmtt/m/n --> OT1/txtt/m/n on input line 50.
-LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/txtt/m/n --> OT1/txtt/b/n on input line 51.
-LaTeX Font Info: Redeclaring symbol font `letters' on input line 58.
-LaTeX Font Info: Overwriting symbol font `letters' in version `normal'
-(Font) OML/cmm/m/it --> OML/txmi/m/it on input line 58.
-LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
-(Font) OML/cmm/b/it --> OML/txmi/m/it on input line 58.
-LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
-(Font) OML/txmi/m/it --> OML/txmi/bx/it on input line 59.
-\symlettersA=\mathgroup5
-LaTeX Font Info: Overwriting symbol font `lettersA' in version `bold'
-(Font) U/txmia/m/it --> U/txmia/bx/it on input line 67.
-LaTeX Font Info: Redeclaring symbol font `symbols' on input line 77.
-LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
-(Font) OMS/cmsy/m/n --> OMS/txsy/m/n on input line 77.
-LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
-(Font) OMS/cmsy/b/n --> OMS/txsy/m/n on input line 77.
-LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
-(Font) OMS/txsy/m/n --> OMS/txsy/bx/n on input line 78.
-\symAMSa=\mathgroup6
-LaTeX Font Info: Overwriting symbol font `AMSa' in version `bold'
-(Font) U/txsya/m/n --> U/txsya/bx/n on input line 94.
-\symAMSb=\mathgroup7
-LaTeX Font Info: Overwriting symbol font `AMSb' in version `bold'
-(Font) U/txsyb/m/n --> U/txsyb/bx/n on input line 103.
-\symsymbolsC=\mathgroup8
-LaTeX Font Info: Overwriting symbol font `symbolsC' in version `bold'
-(Font) U/txsyc/m/n --> U/txsyc/bx/n on input line 113.
-LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 120.
-LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
-(Font) OMX/cmex/m/n --> OMX/txex/m/n on input line 120.
-LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
-(Font) OMX/cmex/m/n --> OMX/txex/m/n on input line 120.
-LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
-(Font) OMX/txex/m/n --> OMX/txex/bx/n on input line 121.
-\symlargesymbolsA=\mathgroup9
-LaTeX Font Info: Overwriting symbol font `largesymbolsA' in version `bold'
-(Font) U/txexa/m/n --> U/txexa/bx/n on input line 129.
-LaTeX Info: Redefining \not on input line 1043.
-LaTeX Info: Redefining \textsquare on input line 1063.
-LaTeX Info: Redefining \openbox on input line 1064.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/relsize/relsize.sty
-Package: relsize 2013/03/29 ver 4.1
-)
-(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
-Package: xkeyval 2012/10/14 v2.6b package option processing (HA)
-
-(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
-\XKV@toks=\toks37
-\XKV@tempa@toks=\toks38
-\XKV@depth=\count131
-File: xkeyval.tex 2012/10/14 v2.6b key=value parser (HA)
-))
-(/usr/share/texlive/texmf-dist/tex/latex/hyphenat/hyphenat.sty
-Package: hyphenat 2009/09/02 v2.3c hyphenation utilities
-\langwohyphens=\language5
-LaTeX Info: Redefining \_ on input line 43.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty
-Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH
-LaTeX Font Info: Overwriting math alphabet `\mathbbm' in version `bold'
-(Font) U/bbm/m/n --> U/bbm/bx/n on input line 33.
-LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold'
-(Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/environ/environ.sty
-Package: environ 2013/04/01 v0.3 A new environment syntax
-
-(/usr/share/texlive/texmf-dist/tex/latex/trimspaces/trimspaces.sty
-Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
-))
-\c@upm@subfigure@count=\count132
-\c@upm@fmt@mtabular@columnnumber=\count133
-\c@upm@format@section@sectionlevel=\count134
-\c@upm@fmt@savedcounter=\count135
-\c@@@upm@fmt@inlineenumeration=\count136
-\c@@upm@fmt@enumdescription@cnt@=\count137
-\upm@framed@minipage=\box67
-\upm@highlight@box@save=\box68
-\c@upmdefinition=\count138
-)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-version.sty
-Package: upmethodology-version 2013/08/26
-
-**** upmethodology-version is using French language ****
-\upm@tmp@a=\count139
-)
-\listendskip=\skip64
-)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-frontpage.sty
-Package: upmethodology-frontpage 2009/10/30
-
-**** upmethodology-frontpage is using French language ****
-\upm@front@tmpa=\dimen148
-\upm@front@tmpb=\dimen149
-
-*** define extension value frontillustrationsize ****)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-backpage.sty
-Package: upmethodology-backpage 2013/12/14
-
-**** upmethodology-backpage is using French language ****)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-task.sty
-Package: upmethodology-task 2009/10/30
-
-**** upmethodology-task is using French language ****)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-code.sty
-Package: upmethodology-code 2009/10/30
-\upm@code@current@lang=\count140
-)
-(/usr/share/texmf/tex/latex/upmethodology/upmethodology-spec.sty
-Package: upmethodology-spec 2009/10/30
-
-(/usr/share/texlive/texmf-dist/tex/generic/ulem/ulem.sty
-\UL@box=\box69
-\UL@hyphenbox=\box70
-\UL@skip=\skip65
-\UL@hook=\toks39
-\UL@height=\dimen150
-\UL@pe=\count141
-\UL@pixel=\dimen151
-\ULC@box=\box71
-Package: ulem 2012/05/18
-\ULdepth=\dimen152
-)
-**** upmethodology-spec is using French language ****
-\upm@spec@detailspec@description@width=\skip66
-\upm@spec@detailspec@savebox=\box72
-\upm@spec@detailspec@itrn@width=\skip67
-\c@upm@detailspec@return@counter=\count142
-\c@upm@detailspec@function@counter=\count143
-)
-(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip11
-Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
-)
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
-Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
-
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
-Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
-Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
-Package hobsub Info: Skipping package `infwarerr' (already loaded).
-Package hobsub Info: Skipping package `ltxcmds' (already loaded).
-Package hobsub Info: Skipping package `ifluatex' (already loaded).
-Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
-Package ifvtex Info: VTeX not detected.
-Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
-Package hobsub Info: Skipping package `ifpdf' (already loaded).
-Package hobsub Info: Skipping package `etexcmds' (already loaded).
-Package hobsub Info: Skipping package `kvsetkeys' (already loaded).
-Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
-Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
-)
-Package pdftexcmds Info: LuaTeX not detected.
-Package pdftexcmds Info: \pdf@primitive is available.
-Package pdftexcmds Info: \pdf@ifprimitive is available.
-Package pdftexcmds Info: \pdfdraftmode found.
-Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
-Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
-)
-Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
-Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
-)
-Package hobsub Info: Skipping package `hobsub' (already loaded).
-Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
-Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
-Package: xcolor-patch 2011/01/30 xcolor patch
-Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
-Package atveryend Info: \enddocument detected (standard20110627).
-Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
-Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
-Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
-Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
-)
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
-Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
-Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
-)
-\@linkdim=\dimen153
-\Hy@linkcounter=\count144
-\Hy@pagecounter=\count145
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
-)
-\Hy@SavedSpaceFactor=\count146
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
-)
-Package hyperref Info: Option `breaklinks' set `true' on input line 4319.
-Package hyperref Info: Option `pageanchor' set `true' on input line 4319.
-Package hyperref Info: Option `bookmarks' set `false' on input line 4319.
-Package hyperref Info: Option `hyperfigures' set `true' on input line 4319.
-Package hyperref Info: Option `hyperindex' set `true' on input line 4319.
-Package hyperref Info: Option `linktocpage' set `true' on input line 4319.
-Package hyperref Info: Option `bookmarks' set `true' on input line 4319.
-Package hyperref Info: Option `bookmarksopen' set `true' on input line 4319.
-Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 4319
-.
-Package hyperref Info: Option `colorlinks' set `false' on input line 4319.
-Package hyperref Info: Hyper figures ON on input line 4441.
-Package hyperref Info: Link nesting OFF on input line 4448.
-Package hyperref Info: Hyper index ON on input line 4451.
-Package hyperref Info: Plain pages OFF on input line 4458.
-Package hyperref Info: Backreferencing OFF on input line 4463.
-Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
-Package hyperref Info: Bookmarks ON on input line 4688.
-LaTeX Info: Redefining \href on input line 4952.
-\c@Hy@tempcnt=\count147
-LaTeX Info: Redefining \url on input line 5041.
-\XeTeXLinkMargin=\dimen154
-\Fld@menulength=\count148
-\Field@Width=\dimen155
-\Fld@charsize=\dimen156
-Package hyperref Info: Hyper figures ON on input line 6293.
-Package hyperref Info: Link nesting OFF on input line 6300.
-Package hyperref Info: Hyper index ON on input line 6303.
-Package hyperref Info: backreferencing OFF on input line 6310.
-Package hyperref Info: Link coloring OFF on input line 6315.
-Package hyperref Info: Link coloring with OCG OFF on input line 6320.
-Package hyperref Info: PDF/A mode OFF on input line 6325.
-LaTeX Info: Redefining \ref on input line 6365.
-LaTeX Info: Redefining \pageref on input line 6369.
-\Hy@abspage=\count149
-\c@Item=\count150
-\c@Hfootnote=\count151
-)
-
-Package hyperref Message: Driver: hpdftex.
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
-\Fld@listcount=\count152
-\c@bookmark@seq@number=\count153
-
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
-Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
-Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
-82.
-)
-\Hy@SectionHShift=\skip68
-)
-\upm@smalllogo@height=\dimen157
-)
-(/usr/share/texlive/texmf-dist/tex/latex/multibib/multibib.sty
-Package: multibib 2008/12/10 v1.4 Multiple bibliographies for one document.
-\mb@biblabelwidth=\count154
-)
-(/usr/share/texlive/texmf-dist/tex/latex/eurosym/eurosym.sty
-Package: eurosym 1998/08/06 v1.1 European currency symbol ``Euro''
-\@eurobox=\box73
-)
-*** define extension value defensemessage ****
-**** including upm extension spimufchdr (upmext-spimufchdr.cfg) ****
-(./upmext-spimufchdr.cfg *** define extension value copyright ****
-*** style extension spimufchdr, Copyright {(c)} 2013--14 Dr. St\unhbox \voidb@x
- \bgroup \let \unhbox \voidb@x \setbox \@tempboxa \hbox {e\global \mathchardef
-\accent@spacefactor \spacefactor }\accent 19 e\egroup \spacefactor \accent@spac
-efactor phane GALLAND. **** *** define extension value trademarks ****
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty
-Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS)
-)
-*** define extension value frontillustration ****
-*** define extension value p3illustration ****
-*** define extension value backillustration ****
-*** define extension value watermarksize ****
-*** define extension value universityname ****
-*** define extension value speciality ****
-*** define extension value defensedate ****
-*** define extension value jurytabwidth ****
-*** define extension value jurystyle ****))
-(/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty
-Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
-)
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries.sty
-Package: glossaries 2014/01/20 v4.03 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/mfirstuc.sty
-Package: mfirstuc 2013/11/04 v1.08 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
-Package: etoolbox 2011/01/03 v2.1 e-TeX tools for LaTeX
-
-(/usr/share/texlive/texmf-dist/tex/latex/etex-pkg/etex.sty
-Package: etex 1998/03/26 v2.0 eTeX basic definition package (PEB)
-\et@xins=\count155
-)
-\etb@tempcnta=\count156
-)
-\@glsmfirst=\toks40
-\@glsmrest=\toks41
-)
-(/usr/share/texlive/texmf-dist/tex/latex/textcase/textcase.sty
-Package: textcase 2004/10/07 v0.07 Text only upper/lower case changing (DPC)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/xfor/xfor.sty
-Package: xfor 2009/02/05 v1.05 (NLCT)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-base.sty
-Package: datatool-base 2013/09/06 v2.18 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/substr/substr.sty
-Package: substr 2009/10/20 v1.2 Handle substrings
-\c@su@anzahl=\count157
-)
-(/usr/share/texlive/texmf-dist/tex/latex/datatool/datatool-fp.sty
-Package: datatool-fp 2013/08/29 v2.17 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp.sty
-Package: fp 1995/04/02
-
-`Fixed Point Package', Version 0.8, April 2, 1995 (C) Michael Mehlich
-(/usr/share/texlive/texmf-dist/tex/latex/fp/defpattern.sty
-Package: defpattern 1994/10/12
-\actioncount=\count158
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-basic.sty
-Package: fp-basic 1996/05/13
-\FP@xs=\count159
-\FP@xia=\count160
-\FP@xib=\count161
-\FP@xfa=\count162
-\FP@xfb=\count163
-\FP@rega=\count164
-\FP@regb=\count165
-\FP@regs=\count166
-\FP@times=\count167
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-addons.sty
-Package: fp-addons 1995/03/15
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-snap.sty
-Package: fp-snap 1995/04/05
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-exp.sty
-Package: fp-exp 1995/04/03
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-trigo.sty
-Package: fp-trigo 1995/04/14
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-pas.sty
-Package: fp-pas 1994/08/29
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-random.sty
-Package: fp-random 1995/02/23
-\FPseed=\count168
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eqn.sty
-Package: fp-eqn 1995/04/03
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-upn.sty
-Package: fp-upn 1996/10/21
-)
-(/usr/share/texlive/texmf-dist/tex/latex/fp/fp-eval.sty
-Package: fp-eval 1995/04/03
-)))
-\@dtl@toks=\toks42
-\@dtl@tmpcount=\count169
-\dtl@tmplength=\skip69
-\dtl@sortresult=\count170
-\@dtl@numgrpsepcount=\count171
-\@dtl@datatype=\count172
-\dtl@codeA=\count173
-\dtl@codeB=\count174
-\@dtl@foreach@level=\count175
-)
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/base/glossaries-compatible-
-307.sty
-Package: glossaries-compatible-307 2013/11/14 v4.0 (NLCT)
-) (/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty
-Package: translator 2010/06/12 ver 1.10
-
-(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings
-.tex))
-\gls@level=\count176
-\@gls@tmpb=\toks43
-\gls@tmplen=\skip70
-\glswrite=\write3
-\glskeylisttok=\toks44
-\glslabeltok=\toks45
-\glsshorttok=\toks46
-\glslongtok=\toks47
-
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-hypernav.st
-y
-Package: glossary-hypernav 2013/11/14 v4.0 (NLCT)
-) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-list.sty
-Package: glossary-list 2013/11/14 v4.0 (NLCT)
-\glslistdottedwidth=\skip71
-) (/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-long.sty
-Package: glossary-long 2013/11/14 v4.0 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
-Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
-\LTleft=\skip72
-\LTright=\skip73
-\LTpre=\skip74
-\LTpost=\skip75
-\LTchunksize=\count177
-\LTcapwidth=\dimen158
-\LT@head=\box74
-\LT@firsthead=\box75
-\LT@foot=\box76
-\LT@lastfoot=\box77
-\LT@cols=\count178
-\LT@rows=\count179
-\c@LT@tables=\count180
-\c@LT@chunks=\count181
-\LT@p@ftn=\toks48
-)
-\glsdescwidth=\skip76
-\glspagelistwidth=\skip77
-)
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-super.sty
-Package: glossary-super 2013/11/14 v4.0 (NLCT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty
-Package: supertabular 2004/02/20 v4.1e the supertabular environment
-\c@tracingst=\count182
-\ST@wd=\dimen159
-\ST@rightskip=\skip78
-\ST@leftskip=\skip79
-\ST@parfillskip=\skip80
-\ST@pageleft=\dimen160
-\ST@headht=\dimen161
-\ST@tailht=\dimen162
-\ST@pagesofar=\dimen163
-\ST@pboxht=\dimen164
-\ST@lineht=\dimen165
-\ST@stretchht=\dimen166
-\ST@prevht=\dimen167
-\ST@toadd=\dimen168
-\ST@dimen=\dimen169
-\ST@pbox=\box78
-))
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/styles/glossary-tree.sty
-Package: glossary-tree 2013/11/14 v4.0 (NLCT)
-\glstreeindent=\skip81
-))
-(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
-\lst@mode=\count183
-\lst@gtempboxa=\box79
-\lst@token=\toks49
-\lst@length=\count184
-\lst@currlwidth=\dimen170
-\lst@column=\count185
-\lst@pos=\count186
-\lst@lostspace=\dimen171
-\lst@width=\dimen172
-\lst@newlines=\count187
-\lst@lineno=\count188
-\lst@maxwidth=\dimen173
-
-(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2013/08/26 1.5b (Carsten Heinz)
-\c@lstnumber=\count189
-\lst@skipnumbers=\count190
-\lst@framebox=\box80
-)
-(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2013/08/26 1.5b listings configuration
-))
-Package: listings 2013/08/26 1.5b (Carsten Heinz)
-
-(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
-Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
-\every@verbatim=\toks50
-\verbatim@line=\toks51
-\verbatim@in@stream=\read1
-)
-(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
-Package: inputenc 2008/03/30 v1.1d Input encoding file
-\inpenc@prehook=\toks52
-\inpenc@posthook=\toks53
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
-File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
-Now handling font encoding OML ...
-... no UTF-8 mapping file for font encoding OML
-Now handling font encoding T1 ...
-... processing UTF-8 mapping file for font encoding T1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
-File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A1 (decimal 161)
- defining Unicode char U+00A3 (decimal 163)
- defining Unicode char U+00AB (decimal 171)
- defining Unicode char U+00BB (decimal 187)
- defining Unicode char U+00BF (decimal 191)
- defining Unicode char U+00C0 (decimal 192)
- defining Unicode char U+00C1 (decimal 193)
- defining Unicode char U+00C2 (decimal 194)
- defining Unicode char U+00C3 (decimal 195)
- defining Unicode char U+00C4 (decimal 196)
- defining Unicode char U+00C5 (decimal 197)
- defining Unicode char U+00C6 (decimal 198)
- defining Unicode char U+00C7 (decimal 199)
- defining Unicode char U+00C8 (decimal 200)
- defining Unicode char U+00C9 (decimal 201)
- defining Unicode char U+00CA (decimal 202)
- defining Unicode char U+00CB (decimal 203)
- defining Unicode char U+00CC (decimal 204)
- defining Unicode char U+00CD (decimal 205)
- defining Unicode char U+00CE (decimal 206)
- defining Unicode char U+00CF (decimal 207)
- defining Unicode char U+00D0 (decimal 208)
- defining Unicode char U+00D1 (decimal 209)
- defining Unicode char U+00D2 (decimal 210)
- defining Unicode char U+00D3 (decimal 211)
- defining Unicode char U+00D4 (decimal 212)
- defining Unicode char U+00D5 (decimal 213)
- defining Unicode char U+00D6 (decimal 214)
- defining Unicode char U+00D8 (decimal 216)
- defining Unicode char U+00D9 (decimal 217)
- defining Unicode char U+00DA (decimal 218)
- defining Unicode char U+00DB (decimal 219)
- defining Unicode char U+00DC (decimal 220)
- defining Unicode char U+00DD (decimal 221)
- defining Unicode char U+00DE (decimal 222)
- defining Unicode char U+00DF (decimal 223)
- defining Unicode char U+00E0 (decimal 224)
- defining Unicode char U+00E1 (decimal 225)
- defining Unicode char U+00E2 (decimal 226)
- defining Unicode char U+00E3 (decimal 227)
- defining Unicode char U+00E4 (decimal 228)
- defining Unicode char U+00E5 (decimal 229)
- defining Unicode char U+00E6 (decimal 230)
- defining Unicode char U+00E7 (decimal 231)
- defining Unicode char U+00E8 (decimal 232)
- defining Unicode char U+00E9 (decimal 233)
- defining Unicode char U+00EA (decimal 234)
- defining Unicode char U+00EB (decimal 235)
- defining Unicode char U+00EC (decimal 236)
- defining Unicode char U+00ED (decimal 237)
- defining Unicode char U+00EE (decimal 238)
- defining Unicode char U+00EF (decimal 239)
- defining Unicode char U+00F0 (decimal 240)
- defining Unicode char U+00F1 (decimal 241)
- defining Unicode char U+00F2 (decimal 242)
- defining Unicode char U+00F3 (decimal 243)
- defining Unicode char U+00F4 (decimal 244)
- defining Unicode char U+00F5 (decimal 245)
- defining Unicode char U+00F6 (decimal 246)
- defining Unicode char U+00F8 (decimal 248)
- defining Unicode char U+00F9 (decimal 249)
- defining Unicode char U+00FA (decimal 250)
- defining Unicode char U+00FB (decimal 251)
- defining Unicode char U+00FC (decimal 252)
- defining Unicode char U+00FD (decimal 253)
- defining Unicode char U+00FE (decimal 254)
- defining Unicode char U+00FF (decimal 255)
- defining Unicode char U+0102 (decimal 258)
- defining Unicode char U+0103 (decimal 259)
- defining Unicode char U+0104 (decimal 260)
- defining Unicode char U+0105 (decimal 261)
- defining Unicode char U+0106 (decimal 262)
- defining Unicode char U+0107 (decimal 263)
- defining Unicode char U+010C (decimal 268)
- defining Unicode char U+010D (decimal 269)
- defining Unicode char U+010E (decimal 270)
- defining Unicode char U+010F (decimal 271)
- defining Unicode char U+0110 (decimal 272)
- defining Unicode char U+0111 (decimal 273)
- defining Unicode char U+0118 (decimal 280)
- defining Unicode char U+0119 (decimal 281)
- defining Unicode char U+011A (decimal 282)
- defining Unicode char U+011B (decimal 283)
- defining Unicode char U+011E (decimal 286)
- defining Unicode char U+011F (decimal 287)
- defining Unicode char U+0130 (decimal 304)
- defining Unicode char U+0131 (decimal 305)
- defining Unicode char U+0132 (decimal 306)
- defining Unicode char U+0133 (decimal 307)
- defining Unicode char U+0139 (decimal 313)
- defining Unicode char U+013A (decimal 314)
- defining Unicode char U+013D (decimal 317)
- defining Unicode char U+013E (decimal 318)
- defining Unicode char U+0141 (decimal 321)
- defining Unicode char U+0142 (decimal 322)
- defining Unicode char U+0143 (decimal 323)
- defining Unicode char U+0144 (decimal 324)
- defining Unicode char U+0147 (decimal 327)
- defining Unicode char U+0148 (decimal 328)
- defining Unicode char U+014A (decimal 330)
- defining Unicode char U+014B (decimal 331)
- defining Unicode char U+0150 (decimal 336)
- defining Unicode char U+0151 (decimal 337)
- defining Unicode char U+0152 (decimal 338)
- defining Unicode char U+0153 (decimal 339)
- defining Unicode char U+0154 (decimal 340)
- defining Unicode char U+0155 (decimal 341)
- defining Unicode char U+0158 (decimal 344)
- defining Unicode char U+0159 (decimal 345)
- defining Unicode char U+015A (decimal 346)
- defining Unicode char U+015B (decimal 347)
- defining Unicode char U+015E (decimal 350)
- defining Unicode char U+015F (decimal 351)
- defining Unicode char U+0160 (decimal 352)
- defining Unicode char U+0161 (decimal 353)
- defining Unicode char U+0162 (decimal 354)
- defining Unicode char U+0163 (decimal 355)
- defining Unicode char U+0164 (decimal 356)
- defining Unicode char U+0165 (decimal 357)
- defining Unicode char U+016E (decimal 366)
- defining Unicode char U+016F (decimal 367)
- defining Unicode char U+0170 (decimal 368)
- defining Unicode char U+0171 (decimal 369)
- defining Unicode char U+0178 (decimal 376)
- defining Unicode char U+0179 (decimal 377)
- defining Unicode char U+017A (decimal 378)
- defining Unicode char U+017B (decimal 379)
- defining Unicode char U+017C (decimal 380)
- defining Unicode char U+017D (decimal 381)
- defining Unicode char U+017E (decimal 382)
- defining Unicode char U+200C (decimal 8204)
- defining Unicode char U+2013 (decimal 8211)
- defining Unicode char U+2014 (decimal 8212)
- defining Unicode char U+2018 (decimal 8216)
- defining Unicode char U+2019 (decimal 8217)
- defining Unicode char U+201A (decimal 8218)
- defining Unicode char U+201C (decimal 8220)
- defining Unicode char U+201D (decimal 8221)
- defining Unicode char U+201E (decimal 8222)
- defining Unicode char U+2030 (decimal 8240)
- defining Unicode char U+2031 (decimal 8241)
- defining Unicode char U+2039 (decimal 8249)
- defining Unicode char U+203A (decimal 8250)
- defining Unicode char U+2423 (decimal 9251)
-)
-Now handling font encoding OT1 ...
-... processing UTF-8 mapping file for font encoding OT1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
-File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A1 (decimal 161)
- defining Unicode char U+00A3 (decimal 163)
- defining Unicode char U+00B8 (decimal 184)
- defining Unicode char U+00BF (decimal 191)
- defining Unicode char U+00C5 (decimal 197)
- defining Unicode char U+00C6 (decimal 198)
- defining Unicode char U+00D8 (decimal 216)
- defining Unicode char U+00DF (decimal 223)
- defining Unicode char U+00E6 (decimal 230)
- defining Unicode char U+00EC (decimal 236)
- defining Unicode char U+00ED (decimal 237)
- defining Unicode char U+00EE (decimal 238)
- defining Unicode char U+00EF (decimal 239)
- defining Unicode char U+00F8 (decimal 248)
- defining Unicode char U+0131 (decimal 305)
- defining Unicode char U+0141 (decimal 321)
- defining Unicode char U+0142 (decimal 322)
- defining Unicode char U+0152 (decimal 338)
- defining Unicode char U+0153 (decimal 339)
- defining Unicode char U+2013 (decimal 8211)
- defining Unicode char U+2014 (decimal 8212)
- defining Unicode char U+2018 (decimal 8216)
- defining Unicode char U+2019 (decimal 8217)
- defining Unicode char U+201C (decimal 8220)
- defining Unicode char U+201D (decimal 8221)
-)
-Now handling font encoding OMS ...
-... processing UTF-8 mapping file for font encoding OMS
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
-File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A7 (decimal 167)
- defining Unicode char U+00B6 (decimal 182)
- defining Unicode char U+00B7 (decimal 183)
- defining Unicode char U+2020 (decimal 8224)
- defining Unicode char U+2021 (decimal 8225)
- defining Unicode char U+2022 (decimal 8226)
-)
-Now handling font encoding OMX ...
-... no UTF-8 mapping file for font encoding OMX
-Now handling font encoding U ...
-... no UTF-8 mapping file for font encoding U
-Now handling font encoding PD1 ...
-... no UTF-8 mapping file for font encoding PD1
- defining Unicode char U+00A9 (decimal 169)
- defining Unicode char U+00AA (decimal 170)
- defining Unicode char U+00AE (decimal 174)
- defining Unicode char U+00BA (decimal 186)
- defining Unicode char U+02C6 (decimal 710)
- defining Unicode char U+02DC (decimal 732)
- defining Unicode char U+200C (decimal 8204)
- defining Unicode char U+2026 (decimal 8230)
- defining Unicode char U+2122 (decimal 8482)
- defining Unicode char U+2423 (decimal 9251)
-))
-\@auxoutJ=\write4
- (./J.aux)
-\openout4 = `J.aux'.
-
-\c@hdr@bibliotype@numberof@J=\count191
-
-*** define extension value defensedate ****
-*** define extension value primaryabstractstyle ****
-\c@theorem=\count192
-\c@lemma=\count193
-\c@Proof=\count194
- (./main.aux
-
-LaTeX Warning: Label `Theo:sound' multiply defined.
-
-
-LaTeX Warning: Label `Theo:completeness' multiply defined.
-
-)
-\openout1 = `main.aux'.
-
-LaTeX Font Info: Checking defaults for OML/txmi/m/it on input line 131.
-LaTeX Font Info: Try loading font information for OML+txmi on input line 131
-.
- (/usr/share/texlive/texmf-dist/tex/latex/txfonts/omltxmi.fd
-File: omltxmi.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 131.
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 131.
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for OMS/txsy/m/n on input line 131.
-LaTeX Font Info: Try loading font information for OMS+txsy on input line 131
-.
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/omstxsy.fd
-File: omstxsy.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for OMX/txex/m/n on input line 131.
-LaTeX Font Info: Try loading font information for OMX+txex on input line 131
-.
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/omxtxex.fd
-File: omxtxex.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for U/txexa/m/n on input line 131.
-LaTeX Font Info: Try loading font information for U+txexa on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxexa.fd
-File: utxexa.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 131.
-LaTeX Font Info: ... okay on input line 131.
-LaTeX Font Info: Try loading font information for OT1+phv on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd
-File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv.
-)
-(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
-[Loading MPS to PDF converter (version 2006.09.02).]
-\scratchcounter=\count195
-\scratchdimen=\dimen174
-\scratchbox=\box81
-\nofMPsegments=\count196
-\nofMParguments=\count197
-\everyMPshowfont=\toks54
-\MPscratchCnt=\count198
-\MPscratchDim=\dimen175
-\MPnumerator=\count199
-\makeMPintoPDFobject=\count200
-\everyMPtoPDFconversion=\toks55
-)
-LaTeX Info: Redefining \degres on input line 131.
-LaTeX Info: Redefining \dots on input line 131.
-LaTeX Info: Redefining \up on input line 131.
-
-
-Package frenchb.ldf Warning: OT1 encoding should not be used for French.
-(frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble
-(frenchb.ldf) of your document, on input line 131.
-
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
-Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
-
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
-Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
-)
-Package grfext Info: Graphics extension search list:
-(grfext) [.pdf,.png,.jpg,.jpeg,.gif,.eps]
-(grfext) \AppendGraphicsExtensions on input line 452.
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
-e
-))
-*** Overriding the 'enumerate' environment. Pass option 'standardlists' for avo
-iding this override.
-*** Overriding the 'description' environment. Pass option 'standardlists' for a
-voiding this override.
-\AtBeginShipoutBox=\box82
-Package hyperref Info: Link coloring OFF on input line 131.
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
-Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
-Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
-)
-\c@section@level=\count201
-LaTeX Info: Redefining \Ref on input line 513.
-)
-LaTeX Info: Redefining \ref on input line 131.
-LaTeX Info: Redefining \pageref on input line 131.
-LaTeX Info: Redefining \nameref on input line 131.
-
-(./main.out) (./main.out)
-\@outlinefile=\write5
-\openout5 = `main.out'.
-
-LaTeX Info: Redefining \Ref on input line 131.
- ************ USE CUSTOM FRONT COVER
-<spimufchdr-frontpage.pdf, id=100, 597.50926pt x 844.83629pt>
-File: spimufchdr-frontpage.pdf Graphic file (type pdf)
-
-<use spimufchdr-frontpage.pdf>
-Package pdftex.def Info: spimufchdr-frontpage.pdf used on input line 131.
-(pdftex.def) Requested size: 600.00592pt x 855.01823pt.
- [1
-
-
-{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./spimufchdr-frontpage.pdf
->] [2
-
-]
-<spimufchdr-p3-head.pdf, id=158, 598.235pt x 285.065pt>
-File: spimufchdr-p3-head.pdf Graphic file (type pdf)
-
-<use spimufchdr-p3-head.pdf>
-Package pdftex.def Info: spimufchdr-p3-head.pdf used on input line 131.
-(pdftex.def) Requested size: 600.0pt x 285.92554pt.
-LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <10.95> not available
-(Font) Font shape `OT1/phv/b/n' tried instead on input line 131.
-LaTeX Font Info: Try loading font information for OT1+txr on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txr.fd
-File: ot1txr.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: Try loading font information for U+txmia on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxmia.fd
-File: utxmia.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: Try loading font information for U+txsya on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsya.fd
-File: utxsya.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: Try loading font information for U+txsyb on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyb.fd
-File: utxsyb.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: Try loading font information for U+txsyc on input line 131.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/utxsyc.fd
-File: utxsyc.fd 2000/12/15 v3.1
-) [3 <./spimufchdr-p3-head.pdf>] [4
-
-]
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary-
-English.dict
-Dictionary: glossaries-dictionary, Language: English
-)
-(/usr/share/texlive/texmf-dist/tex/latex/glossaries/dict/glossaries-dictionary-
-French.dict
-Dictionary: glossaries-dictionary, Language: French
-) (./main.glsdefs)
-\c@lstlisting=\count202
- (./glossaire.tex
-\@gls@deffile=\write6
-\openout6 = `main.glsdefs'.
-
-) [5
-
-] [6
-
-] [1
-
-] [2]
-Chapitre 1.
-LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10.95> not available
-(Font) Font shape `OT1/phv/m/sl' tried instead on input line 154.
-(./sdd.tex
-LaTeX Font Info: Try loading font information for U+dsrom on input line 15.
- (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/Udsrom.fd
-File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions
-)
-[3
-
-] <images/g.pdf, id=251, 84.315pt x 260.975pt>
-File: images/g.pdf Graphic file (type pdf)
- <use images/g.pdf>
-Package pdftex.def Info: images/g.pdf used on input line 97.
-(pdftex.def) Requested size: 33.72539pt x 104.38815pt.
-
-<images/h.pdf, id=252, 80.3pt x 260.975pt>
-File: images/h.pdf Graphic file (type pdf)
- <use images/h.pdf>
-Package pdftex.def Info: images/h.pdf used on input line 105.
-(pdftex.def) Requested size: 32.11942pt x 104.38815pt.
- [4 <./images/g.pdf> <./images/h.pdf>] <images/gp.pdf, id=270, 90.3375pt x 134.
-5025pt>
-File: images/gp.pdf Graphic file (type pdf)
-
-<use images/gp.pdf>
-Package pdftex.def Info: images/gp.pdf used on input line 161.
-(pdftex.def) Requested size: 36.13435pt x 53.80003pt.
- <images/hp.pdf, id=271, 102.3825pt x 134.5025pt>
-File: images/hp.pdf Graphic file (type pdf)
-
-<use images/hp.pdf>
-Package pdftex.def Info: images/hp.pdf used on input line 169.
-(pdftex.def) Requested size: 40.95227pt x 53.80003pt.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\delimiter' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\delimiter' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `superscript' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `\times' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `superscript' on input line 203.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 203.
-
-) [5 <./images/gp.pdf> <./images/hp.pdf>] [6
-
-]
-Chapitre 2.
-(./mixage.tex [7]
-Package epstopdf Info: Source file: <images/xplgraphmix.eps>
-(epstopdf) date: 2014-07-01 08:59:47
-(epstopdf) size: 8970 bytes
-(epstopdf) Output file: <images/xplgraphmix-eps-converted-to.pdf>
-(epstopdf) date: 2014-07-01 08:59:52
-(epstopdf) size: 5003 bytes
-(epstopdf) Command: <repstopdf --outfile=images/xplgraphmix-eps-con
-verted-to.pdf images/xplgraphmix.eps>
-(epstopdf) \includegraphics on input line 115.
-Package epstopdf Info: Output file is already uptodate.
-
-<images/xplgraphmix-eps-converted-to.pdf, id=313, 199.74625pt x 309.155pt>
-File: images/xplgraphmix-eps-converted-to.pdf Graphic file (type pdf)
-
-<use images/xplgraphmix-eps-converted-to.pdf>
-Package pdftex.def Info: images/xplgraphmix-eps-converted-to.pdf used on input
-line 115.
-(pdftex.def) Requested size: 109.86076pt x 170.03577pt.
-Package epstopdf Info: Source file: <images/para_iterate_dec.eps>
-(epstopdf) date: 2014-07-01 08:39:45
-(epstopdf) size: 18996 bytes
-(epstopdf) Output file: <images/para_iterate_dec-eps-converted-to.p
-df>
-(epstopdf) date: 2014-07-01 08:47:14
-(epstopdf) size: 5999 bytes
-(epstopdf) Command: <repstopdf --outfile=images/para_iterate_dec-ep
-s-converted-to.pdf images/para_iterate_dec.eps>
-(epstopdf) \includegraphics on input line 125.
-Package epstopdf Info: Output file is already uptodate.
-
-<images/para_iterate_dec-eps-converted-to.pdf, id=314, 428.60126pt x 298.11375p
-t>
-File: images/para_iterate_dec-eps-converted-to.pdf Graphic file (type pdf)
- <use images/para_iterate_dec-eps-converted-to.pdf>
-Package pdftex.def Info: images/para_iterate_dec-eps-converted-to.pdf used on i
-nput line 125.
-(pdftex.def) Requested size: 235.73141pt x 163.96306pt.
-Package epstopdf Info: Source file: <images/chao_iterate_excerpt.eps>
-(epstopdf) date: 2014-07-01 08:43:07
-(epstopdf) size: 10160 bytes
-(epstopdf) Output file: <images/chao_iterate_excerpt-eps-converted-
-to.pdf>
-(epstopdf) date: 2014-07-01 08:47:31
-(epstopdf) size: 5024 bytes
-(epstopdf) Command: <repstopdf --outfile=images/chao_iterate_excerp
-t-eps-converted-to.pdf images/chao_iterate_excerpt.eps>
-(epstopdf) \includegraphics on input line 130.
-Package epstopdf Info: Output file is already uptodate.
-
-<images/chao_iterate_excerpt-eps-converted-to.pdf, id=315, 322.20375pt x 170.63
-75pt>
-File: images/chao_iterate_excerpt-eps-converted-to.pdf Graphic file (type pdf)
- <use images/chao_iterate_excerpt-eps-converted-to.pdf>
-Package pdftex.def Info: images/chao_iterate_excerpt-eps-converted-to.pdf used
-on input line 130.
-(pdftex.def) Requested size: 177.2126pt x 93.8509pt.
-
-Overfull \hbox (10.51457pt too wide) in paragraph at lines 130--131
-[][]
- []
-
-
-Overfull \hbox (59.69626pt too wide) has occurred while \output is active
-\OT1/phv/m/n/10.95 8 \OT1/phv/m/sl/10.95 CHAPITRE 2. COMBINAISONS SYNCHRONES E
-T ASYNCHRONES DE SYST[]EMES BOOL[]EENS
- []
-
-[8 <./images/xplgraphmix-eps-converted-to.pdf>]) [9 <./images/para_iterate_dec-
-eps-converted-to.pdf> <./images/chao_iterate_excerpt-eps-converted-to.pdf>]
-[10
-
-]
-Chapitre 3.
-(./modelchecking.tex
-Package hyperref Info: bookmark level for unknown xpl defaults to 0 on input li
-ne 8.
-Package epstopdf Info: Source file: <images/xplCnxMc.eps>
-(epstopdf) date: 2014-06-28 16:34:41
-(epstopdf) size: 7803 bytes
-(epstopdf) Output file: <images/xplCnxMc-eps-converted-to.pdf>
-(epstopdf) date: 2014-06-28 16:35:22
-(epstopdf) size: 4536 bytes
-(epstopdf) Command: <repstopdf --outfile=images/xplCnxMc-eps-conver
-ted-to.pdf images/xplCnxMc.eps>
-(epstopdf) \includegraphics on input line 33.
-Package epstopdf Info: Output file is already uptodate.
-
-<images/xplCnxMc-eps-converted-to.pdf, id=354, 262.9825pt x 77.28876pt>
-File: images/xplCnxMc-eps-converted-to.pdf Graphic file (type pdf)
-
-<use images/xplCnxMc-eps-converted-to.pdf>
-Package pdftex.def Info: images/xplCnxMc-eps-converted-to.pdf used on input lin
-e 33.
-(pdftex.def) Requested size: 113.81102pt x 33.44815pt.
-
-Underfull \hbox (badness 10000) in paragraph at lines 35--35
-[]\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.2 { []Graphe
- []
-
-LaTeX Font Info: Try loading font information for OMS+phv on input line 80.
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsphv.fd
-File: omsphv.fd
-)
-LaTeX Font Info: Font shape `OMS/phv/m/n' in size <6> not available
-(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 80.
-
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [11 <./images/xplCnxMc-eps-converted-to.pdf>]
-LaTeX Font Info: Try loading font information for OT1+txtt on input line 95.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/txfonts/ot1txtt.fd
-File: ot1txtt.fd 2000/12/15 v3.1
-)
-LaTeX Font Info: Font shape `OT1/txtt/m/it' in size <10.95> not available
-(Font) Font shape `OT1/txtt/m/sl' tried instead on input line 127.
-
- [12]
-LaTeX Font Info: Try loading font information for OML+phv on input line 198.
-
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/omlphv.fd
-File: omlphv.fd
-)
-LaTeX Font Info: Font shape `OML/phv/m/n' in size <6> not available
-(Font) Font shape `OML/cmm/m/it' tried instead on input line 198.
-
-Underfull \hbox (badness 10000) in paragraph at lines 253--253
-[]\OT1/phv/m/sc/10.95 Figure \OT1/phv/m/n/10.95 3.6 { []Process
- []
-
-
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [13]
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 303.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 303.
-
-[14]
-Underfull \hbox (badness 3482) in paragraph at lines 497--499
-[]\OT1/phv/m/n/10.95 sinon, on af-fecte []a []\OT1/txtt/m/n/10.95 Xd[j].v[i] \O
-T1/phv/m/n/10.95 la va-leur m[]emoris[]ee dans le ca-nal
- []
-
-[15]
-Underfull \hbox (badness 2261) in paragraph at lines 515--523
-[]\OT1/phv/m/n/10.95 L'introduction de l'ind[]eterminisme []a la fois dans les
-fonc-tions []\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 et
- []
-
-LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <8> not available
-(Font) Font shape `OT1/phv/b/n' tried instead on input line 575.
-Package hyperref Info: bookmark level for unknown theorem defaults to 0 on inpu
-t line 575.
-[16]
-Package hyperref Info: bookmark level for unknown Proof defaults to 0 on input
-line 605.
- [17]
-Underfull \hbox (badness 10000) in paragraph at lines 776--779
-[]\OT1/phv/m/sl/10.95 Quid de ceci?[] \OT1/phv/m/n/10.95 La conver-gence des it
-[]erations asyn-chrones de
- []
-
-
-Underfull \hbox (badness 1303) in paragraph at lines 776--779
-\OT1/phv/m/n/10.95 l'exemple [[]] n'est pas []etablie lorsque pour $\OML/txmi/m
-/it/10.95 ^^N[]$ \OT1/phv/m/n/10.95 vaut 1. Il ne peut
- []
-
-Package epstopdf Info: Source file: <images/RC07ce.eps>
-(epstopdf) date: 2014-06-30 13:31:45
-(epstopdf) size: 51342 bytes
-(epstopdf) Output file: <images/RC07ce-eps-converted-to.pdf>
-(epstopdf) date: 2014-06-30 13:34:16
-(epstopdf) size: 9444 bytes
-(epstopdf) Command: <repstopdf --outfile=images/RC07ce-eps-converte
-d-to.pdf images/RC07ce.eps>
-(epstopdf) \includegraphics on input line 782.
-Package epstopdf Info: Output file is already uptodate.
-<images/RC07ce-eps-converted-to.pdf, id=628, 315.1775pt x 567.11874pt>
-File: images/RC07ce-eps-converted-to.pdf Graphic file (type pdf)
-
-<use images/RC07ce-eps-converted-to.pdf>
-Package pdftex.def Info: images/RC07ce-eps-converted-to.pdf used on input line
-782.
-(pdftex.def) Requested size: 189.10796pt x 340.27386pt.
-
-Underfull \hbox (badness 10000) in paragraph at lines 815--825
-[]\OT1/phv/m/n/10.95 Des m[]ethodes de si-mu-la-tion bas[]ees sur des strat[]eg
-ies et des d[]elais
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 815--825
-\OT1/phv/m/n/10.95 g[]en[]er[]es al[]eatoirement ont d[]ej[]a []et[]e pr[]esent
-[]ees [[],
- []
-
-
-Underfull \hbox (badness 4792) in paragraph at lines 815--825
-[]\OT1/phv/m/n/10.95 ]. Ce-pen-dant, comme ces im-plan-ta-tions ne sont
- []
-
-) [18] [19 <./images/RC07ce-eps-converted-to.pdf>] [20]
-Annexe A.
-LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <14.4> not available
-(Font) Font shape `OT1/phv/b/n' tried instead on input line 187.
-
-LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 187.
-
-(./annexesccg.tex
-Package hyperref Info: bookmark level for unknown lemma defaults to 0 on input
-line 17.
-
-
-LaTeX Warning: Reference `th:Adrien' on page 21 undefined on input line 63.
-
-[21
-
-])
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 190.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `subscript' on input line 190.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 190.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 190.
-
-
-Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
-(hyperref) removing `math shift' on input line 190.
-
-(./annexecontinuite.tex)
-Underfull \hbox (badness 4279) in paragraph at lines 46--192
-\OT1/phv/m/n/10.95 Pour conclure, pour tout $\OML/txmi/m/it/10.95 ^^O > \OT1/tx
-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
-T[] \OT1/txr/m/n/10.95 = [](\OML/txmi/m/it/10.95 t[]; t[]; t[]\OT1/txr/m/n/10.9
-5 ) \OMS/txsy/m/n/10.95 2 \U/txsyb/m/n/10.95 N[]\OMS/txsy/m/n/10.95 8\OML/txmi/
-m/it/10.95 t >
- []
-
-(./annexePromelaProof.tex [22]
-Underfull \hbox (badness 10000) in paragraph at lines 52--58
-[]\OT1/phv/m/n/10.95 Let us show how to make the in-de-ter-mi-nism in-side the
-two func-tions
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 52--58
-[]\OT1/txtt/m/n/10.95 fetch_values \OT1/phv/m/n/10.95 and []\OT1/txtt/m/n/10.95
- diffuse_values \OT1/phv/m/n/10.95 com-pliant with ([]2.2[]). The func-tion $\O
-ML/txmi/m/it/10.95 M[]$
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 52--58
-\OT1/phv/m/n/10.95 is ob-tai-ned by the suc-ces-sive up-dates of $\OML/txmi/m/i
-t/10.95 M[]$ \OT1/phv/m/n/10.95 through the two func-tions
- []
-
-
-Overfull \hbox (237.9212pt too wide) has occurred while \output is active
-\OT1/phv/m/sl/10.95 A.3. PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE
- DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 23
- []
-
-[23]
-Underfull \hbox (badness 10000) in paragraph at lines 82--86
-[][]\OT1/phv/b/n/10.95 Lemme $[]$ \OT1/phv/m/n/10.95 (Exis-tence of SPIN Exe-cu
--tion)\OT1/phv/b/n/10.95 . []\OT1/phv/m/sl/10.95 For any se-quences $\OT1/txr/m
-/n/10.95 (\OML/txmi/m/it/10.95 S[]\OT1/txr/m/n/10.95 )[]$\OT1/phv/m/sl/10.95 ,
- []
-
-
-Underfull \hbox (badness 4429) in paragraph at lines 118--123
-[]\OT1/phv/m/sl/10.95 Next, the first call to the func-tion []\OT1/txtt/m/n/10.
-95 fetch_value \OT1/phv/m/sl/10.95 ei-ther as-si-gns the head of
- []
-
-
-Underfull \hbox (badness 1874) in paragraph at lines 125--131
-[]\OT1/phv/m/sl/10.95 For the last item, let $\OML/txmi/m/it/10.95 k$\OT1/phv/m
-/sl/10.95 , $\OT1/txr/m/n/10.95 0 \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95
-k \OMS/txsy/m/n/10.95 ^^T \OML/txmi/m/it/10.95 n \OMS/txsy/m/n/10.95 ^^@ \OT1/t
-xr/m/n/10.95 1$\OT1/phv/m/sl/10.95 . At the end of the first exe-cu-tion
- []
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 125--131
-\OT1/phv/m/sl/10.95 of the []\OT1/txtt/m/n/10.95 update_elems \OT1/phv/m/sl/10.
-95 pro-cess, the va-lue of []\OT1/txtt/m/n/10.95 Xp[k] \OT1/phv/m/sl/10.95 is
- []
-
-
-Underfull \hbox (badness 5504) in paragraph at lines 125--131
-\OML/txmi/m/it/10.95 F\OT1/txr/m/n/10.95 ([]\OML/txmi/m/it/10.95 k[]; [] ; []k[
-]n \OMS/txsy/m/n/10.95 ^^@ \OT1/txr/m/n/10.95 1[])$\OT1/phv/m/sl/10.95 . Thus,
-by de-fi-ni-tion of $\OML/txmi/m/it/10.95 Xd$\OT1/phv/m/sl/10.95 , it is equal
-to
- []
-
-
-Underfull \hbox (badness 5022) in paragraph at lines 154--164
-[]\OT1/phv/m/sl/10.95 if $[]\OT1/txr/m/n/10.95 (\OML/txmi/m/it/10.95 M[]\OT1/tx
-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$
- \OT1/phv/m/sl/10.95 and $\OMS/txsy/m/n/10.95 9\OML/txmi/m/it/10.95 k : k \OMS/
-txsy/m/n/10.95 ^^U \OML/txmi/m/it/10.95 l \OMS/txsy/m/n/10.95 ^ \OML/txmi/m/it/
-10.95 D[] \OT1/txr/m/n/10.95 = \OML/txmi/m/it/10.95 l$ \OT1/phv/m/sl/10.95 is e
-s-ta-bli-shed then
- []
-
-
-Underfull \hbox (badness 1917) in paragraph at lines 154--164
-\OML/txmi/m/it/10.95 M[]\OT1/txr/m/n/10.95 (0)$ \OT1/phv/m/sl/10.95 is $\OT1/tx
-r/m/n/10.95 ([]\OML/txmi/m/it/10.95 ; l; c[]\OT1/txr/m/n/10.95 )$ \OT1/phv/m/sl
-/10.95 that is ad-ded in the []\OT1/txtt/m/n/10.95 diffuse_values \OT1/phv/m/sl
-/10.95 func-tion s.t.
- []
-
-[24]
-Overfull \hbox (237.9212pt too wide) has occurred while \output is active
-\OT1/phv/m/sl/10.95 A.3. PREUVE DE CORRECTION ET DE COMPL[]ETUDE DE L'APPROCHE
- DE V[]ERIFICATION DE CONVERGENCE []A L'AIDE DE SPIN \OT1/phv/m/n/10.95 25
- []
-
-[25]) [26] (./main.bbl) [27
-
-
-] [28
-
-] (./main.lof)
-\tf@lof=\write7
-\openout7 = `main.lof'.
-
- [29] [30
-
-] (./main.lot)
-\tf@lot=\write8
-\openout8 = `main.lot'.
-
-
-showing upmdefinition
-[31] [32
-
-] (./main.loe) [33] [34
-
-] [35]
-
-pdfTeX warning: pdflatex (file ./spimufchdr-backpage.pdf): PDF inclusion: found
- PDF version <1.6>, but at most version <1.5> allowed
-<spimufchdr-backpage.pdf, id=804, 597.432pt x 844.83629pt>
-File: spimufchdr-backpage.pdf Graphic file (type pdf)
-
-<use spimufchdr-backpage.pdf>
-Package pdftex.def Info: spimufchdr-backpage.pdf used on input line 204.
-(pdftex.def) Requested size: 600.04684pt x 900.02122pt.
-LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <12> not available
-(Font) Font shape `OT1/phv/b/n' tried instead on input line 204.
-
-
-Package glossaries Warning: \makeglossaries hasn't been used,
-the glossaries will not be updated.
-
-
-Package glossaries Warning: No \printglossary or \printglossaries found.
-This document will not have a glossary.
-
-\tf@loe=\write9
-\openout9 = `main.loe'.
-
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 204.
-[36
-
- <./spimufchdr-backpage.pdf>]
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 204.
- (./main.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 204.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 204.
-Package rerunfilecheck Info: File `main.out' has not changed.
-(rerunfilecheck) Checksum: 67DDDB32782B2C2F894DE32A335BCC37;2017.
-
-
-LaTeX Warning: There were undefined references.
-
-
-LaTeX Warning: There were multiply-defined labels.
-
-Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 204.
- )
-Here is how much of TeX's memory you used:
- 17062 strings out of 494999
- 255029 string characters out of 6180228
- 443742 words of memory out of 5000000
- 19402 multiletter control sequences out of 15000+600000
- 91438 words of font info for 182 fonts, out of 8000000 for 9000
- 14 hyphenation exceptions out of 8191
- 65i,15n,41p,1710b,1399s stack positions out of 5000i,500n,10000p,200000b,80000s
-pdfTeX warning (dest): name{cite.BCVC10\\penalty\040\\@M\040\040:ir} has been
- referenced but does not exist, replaced by a fixed one
-
-pdfTeX warning (dest): name{glo:partieentiere} has been referenced but does not
- exist, replaced by a fixed one
-
-pdfTeX warning (dest): name{glo:distanceHamming} has been referenced but does n
-ot exist, replaced by a fixed one
-
-{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texlive/
-texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-d
-ist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fon
-ts/type1/public/doublestroke/dsrom10.pfb></usr/share/texlive/texmf-dist/fonts/t
-ype1/public/doublestroke/dsrom12.pfb></usr/share/texlive/texmf-dist/fonts/type1
-/public/doublestroke/dsrom8.pfb></usr/share/texlive/texmf-dist/fonts/type1/publ
-ic/txfonts/rtxmi.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/
-rtxr.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/txex.pfb></u
-sr/share/texlive/texmf-dist/fonts/type1/public/txfonts/txsy.pfb></usr/share/tex
-live/texmf-dist/fonts/type1/public/txfonts/txsya.pfb></usr/share/texlive/texmf-
-dist/fonts/type1/public/txfonts/txsyb.pfb></usr/share/texlive/texmf-dist/fonts/
-type1/public/txfonts/txsyc.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
-c/txfonts/txtt.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/tx
-tt.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb></usr
-/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texli
-ve/texmf-dist/fonts/type1/urw/helvetic/uhvro8a.pfb></usr/share/texlive/texmf-di
-st/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/
-urw/times/utmri8a.pfb>
-Output written on main.pdf (42 pages, 1729613 bytes).
-PDF statistics:
- 950 PDF objects out of 1000 (max. 8388607)
- 827 compressed objects within 9 object streams
- 336 named destinations out of 1000 (max. 500000)
- 253 words of extra memory for PDF output out of 10000 (max. 10000000)
-
