+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)
+