preuve-jeff.log

   1 This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.4.22)  9 MAR 2015 09:43
   2 entering extended mode
   3  restricted \write18 enabled.
   4  %&-line parsing enabled.
   5 **preuve-jeff.tex
   6 (./preuve-jeff.tex
   7 LaTeX2e <2011/06/27>
   8 Babel <3.9h> and hyphenation patterns for 4 languages loaded.
   9 (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
  10 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
  11 (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
  12 File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
  13 )
  14 \c@part=\count79
  15 \c@section=\count80
  16 \c@subsection=\count81
  17 \c@subsubsection=\count82
  18 \c@paragraph=\count83
  19 \c@subparagraph=\count84
  20 \c@figure=\count85
  21 \c@table=\count86
  22 \abovecaptionskip=\skip41
  23 \belowcaptionskip=\skip42
  24 \bibindent=\dimen102
  25 )
  26 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
  27 Package: geometry 2010/09/12 v5.6 Page Geometry
  28
  29 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
  30 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
  31 \KV@toks@=\toks14
  32 )
  33 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
  34 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
  35 Package ifpdf Info: pdfTeX in PDF mode is detected.
  36 )
  37 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
  38 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
  39 Package ifvtex Info: VTeX not detected.
  40 )
  41 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
  42 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
  43 )
  44 \Gm@cnth=\count87
  45 \Gm@cntv=\count88
  46 \c@Gm@tempcnt=\count89
  47 \Gm@bindingoffset=\dimen103
  48 \Gm@wd@mp=\dimen104
  49 \Gm@odd@mp=\dimen105
  50 \Gm@even@mp=\dimen106
  51 \Gm@layoutwidth=\dimen107
  52 \Gm@layoutheight=\dimen108
  53 \Gm@layouthoffset=\dimen109
  54 \Gm@layoutvoffset=\dimen110
  55 \Gm@dimlist=\toks15
  56 )
  57 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
  58 Package: inputenc 2008/03/30 v1.1d Input encoding file
  59 \inpenc@prehook=\toks16
  60 \inpenc@posthook=\toks17
  61
  62 (/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def
  63 File: latin1.def 2008/03/30 v1.1d Input encoding file
  64 ))
  65 (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
  66 Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
  67
  68 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
  69 File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
  70 LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
  71 ))
  72 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
  73 Package: babel 2013/12/03 3.9h The Babel package
  74
  75 (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf
  76 Language: english 2012/08/20 v3.3p English support from the babel system
  77
  78 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
  79 File: babel.def 2013/12/03 3.9h Babel common definitions
  80 \babel@savecnt=\count90
  81 \U@D=\dimen111
  82 )
  83 \l@british = a dialect from \language\l@english
  84 \l@UKenglish = a dialect from \language\l@english
  85 \l@canadian = a dialect from \language\l@american
  86 \l@australian = a dialect from \language\l@british
  87 \l@newzealand = a dialect from \language\l@british
  88 ))
  89 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
  90 Package: amsmath 2013/01/14 v2.14 AMS math features
  91 \@mathmargin=\skip43
  92
  93 For additional information on amsmath, use the `?' option.
  94 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
  95 Package: amstext 2000/06/29 v2.01
  96
  97 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
  98 File: amsgen.sty 1999/11/30 v2.0
  99 \@emptytoks=\toks18
 100 \ex@=\dimen112
 101 ))
 102 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
 103 Package: amsbsy 1999/11/29 v1.2d
 104 \pmbraise@=\dimen113
 105 )
 106 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
 107 Package: amsopn 1999/12/14 v2.01 operator names
 108 )
 109 \inf@bad=\count91
 110 LaTeX Info: Redefining \frac on input line 210.
 111 \uproot@=\count92
 112 \leftroot@=\count93
 113 LaTeX Info: Redefining \overline on input line 306.
 114 \classnum@=\count94
 115 \DOTSCASE@=\count95
 116 LaTeX Info: Redefining \ldots on input line 378.
 117 LaTeX Info: Redefining \dots on input line 381.
 118 LaTeX Info: Redefining \cdots on input line 466.
 119 \Mathstrutbox@=\box26
 120 \strutbox@=\box27
 121 \big@size=\dimen114
 122 LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
 123 LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
 124 \macc@depth=\count96
 125 \c@MaxMatrixCols=\count97
 126 \dotsspace@=\muskip10
 127 \c@parentequation=\count98
 128 \dspbrk@lvl=\count99
 129 \tag@help=\toks19
 130 \row@=\count100
 131 \column@=\count101
 132 \maxfields@=\count102
 133 \andhelp@=\toks20
 134 \eqnshift@=\dimen115
 135 \alignsep@=\dimen116
 136 \tagshift@=\dimen117
 137 \tagwidth@=\dimen118
 138 \totwidth@=\dimen119
 139 \lineht@=\dimen120
 140 \@envbody=\toks21
 141 \multlinegap=\skip44
 142 \multlinetaggap=\skip45
 143 \mathdisplay@stack=\toks22
 144 LaTeX Info: Redefining \[ on input line 2665.
 145 LaTeX Info: Redefining \] on input line 2666.
 146 )
 147 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
 148 Package: amssymb 2013/01/14 v3.01 AMS font symbols
 149
 150 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
 151 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
 152 \symAMSa=\mathgroup4
 153 \symAMSb=\mathgroup5
 154 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 155 (Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
 156 ))
 157 (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty
 158 Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
 159 \symlasy=\mathgroup6
 160 LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
 161 (Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
 162 )
 163 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/eufrak.sty
 164
 165 Package eufrak Warning: The eufrak package is redundant if the amsfonts package
 166  is used on input line 36.
 167
 168 ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/euscript.sty
 169 Package: euscript 2009/06/22 v3.00 Euler Script fonts
 170 LaTeX Font Info:    Overwriting math alphabet `\EuScript' in version `bold'
 171 (Font)                  U/eus/m/n --> U/eus/b/n on input line 33.
 172 )
 173 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 174 Package: subfigure 2002/03/15 v2.1.5 subfigure package
 175 \subfigtopskip=\skip46
 176 \subfigcapskip=\skip47
 177 \subfigcaptopadj=\dimen121
 178 \subfigbottomskip=\skip48
 179 \subfigcapmargin=\dimen122
 180 \subfiglabelskip=\skip49
 181 \c@subfigure=\count103
 182 \c@lofdepth=\count104
 183 \c@subtable=\count105
 184 \c@lotdepth=\count106
 185
 186 ****************************************
 187 * Local config file subfigure.cfg used *
 188 ****************************************
 189 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
 190 \subfig@top=\skip50
 191 \subfig@bottom=\skip51
 192 )
 193 (/usr/share/texlive/texmf-dist/tex/latex/pstricks/pstricks.sty
 194 Package: pstricks 2013/12/12 v0.60 LaTeX wrapper for `PSTricks' (RN,HV)
 195
 196 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.tex
 197 (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/pst-xkey.tex
 198 File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA)
 199
 200 (/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
 201 Package: xkeyval 2012/10/14 v2.6b package option processing (HA)
 202
 203 (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
 204 \XKV@toks=\toks23
 205 \XKV@tempa@toks=\toks24
 206 \XKV@depth=\count107
 207 File: xkeyval.tex 2012/10/14 v2.6b key=value parser (HA)
 208 )))
 209 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex
 210 `pst-fp' v0.05, 2010/01/17 (hv)
 211 \pstFP@xs=\count108
 212 \pstFP@xia=\count109
 213 \pstFP@xib=\count110
 214 \pstFP@xfa=\count111
 215 \pstFP@xfb=\count112
 216 \pstFP@rega=\count113
 217 \pstFP@regb=\count114
 218 \pstFP@regs=\count115
 219 \pstFP@times=\count116
 220 )
 221 (/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex
 222 \pgfutil@everybye=\toks25
 223 )
 224 (/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex
 225 \pgfkeys@pathtoks=\toks26
 226 \pgfkeys@temptoks=\toks27
 227
 228 (/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
 229 \pgfkeys@tmptoks=\toks28
 230 ))
 231 (/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex
 232 \pgffor@iter=\dimen123
 233 \pgffor@skip=\dimen124
 234 \pgffor@stack=\toks29
 235 \pgffor@toks=\toks30
 236 )
 237 \psLoopIndex=\count117
 238
 239 `PSTricks' v2.51  <2014/02/03> (tvz)
 240 \pst@dima=\dimen125
 241 \pst@dimb=\dimen126
 242 \pst@dimc=\dimen127
 243 \pst@dimd=\dimen128
 244 \pst@dimg=\dimen129
 245 \pst@dimh=\dimen130
 246 \pst@dimm=\dimen131
 247 \pst@dimn=\dimen132
 248 \pst@dimo=\dimen133
 249 \pst@dimp=\dimen134
 250 \pst@hbox=\box28
 251 \pst@ibox=\box29
 252 \pst@boxg=\box30
 253 \pst@cnta=\count118
 254 \pst@cntb=\count119
 255 \pst@cntc=\count120
 256 \pst@cntd=\count121
 257 \pst@cntg=\count122
 258 \pst@cnth=\count123
 259 \pst@cntm=\count124
 260 \pst@cntn=\count125
 261 \pst@cnto=\count126
 262 \pst@cntp=\count127
 263 \@zero=\count128
 264 \pst@toks=\toks31
 265 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.con)
 266 \psunit=\dimen135
 267 \psxunit=\dimen136
 268 \psyunit=\dimen137
 269 \pst@C@@rType=\count129
 270 \pslinewidth=\dimen138
 271 \psk@startLW=\dimen139
 272 \psk@endLW=\dimen140
 273 \pst@customdefs=\toks32
 274 \pslinearc=\dimen141
 275 \pst@symbolStep=\dimen142
 276 \pst@symbolWidth=\dimen143
 277 \pst@symbolLinewidth=\dimen144
 278 \everypsbox=\toks33
 279 \psframesep=\dimen145
 280 \pslabelsep=\dimen146
 281 \sh@wgridXunit=\dimen147
 282 \sh@wgridYunit=\dimen148
 283 \pst@shift=\dimen149
 284 )
 285 File: pstricks.tex 2014/02/03 v2.51 `PSTricks' (tvz,hv)
 286
 287 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex)
 288 File: pst-fp.tex 2014/02/03 v2.51 `PST-fp' (hv)
 289
 290 (/usr/share/texmf/tex/latex/xcolor/xcolor.sty
 291 Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
 292
 293 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
 294 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
 295 )
 296 Package xcolor Info: Driver file: pdftex.def on input line 225.
 297
 298 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
 299 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
 300
 301 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
 302 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
 303 )
 304 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
 305 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
 306 )
 307 \Gread@gobject=\count130
 308 )
 309 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
 310 Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
 311 Package xcolor Info: Model `RGB' extended on input line 1353.
 312 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
 313 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
 314 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
 315 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
 316 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
 317 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
 318 ))
 319 (/usr/share/texlive/texmf-dist/tex/latex/pst-node/pst-node.sty
 320 Package: pst-node 2012/09/18 v1.01 LaTeX wrapper for `pst-node' (HV)
 321 Package: pst-node 2010/04/22 package wrapper for pst-node.tex
 322
 323 (/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex
 324  v1.32, 2014/02/03
 325 \psrow=\count131
 326 \pscol=\count132
 327 \psmatrixcnt=\count133
 328 \psrowsep=\skip52
 329 \pscolsep=\skip53
 330 \pst@args=\count134
 331 \num@pts=\count135
 332 \pst@argcnt=\count136
 333 )
 334 File: pst-node.tex 2014/02/03 1.32 `pst-node' (tvz,hv)
 335 )
 336 (/usr/share/texlive/texmf-dist/tex/latex/pst-coil/pst-coil.sty
 337 Package: pst-coil 2010/02/01 package wrapper for pst-coil.tex (hv)
 338
 339 (/usr/share/texlive/texmf-dist/tex/generic/pst-coil/pst-coil.tex
 340  v1.32, 2014/02/03
 341 (/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex))
 342 File: pst-coil.tex 2011/09/17 v1.06 `PST-coil' (tvz,hv)
 343 )
 344 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 345 \Urlmuskip=\muskip11
 346 Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
 347 )
 348 (/usr/share/texmf/tex/latex/pgf/frontendlayer/tikz.sty
 349 (/usr/share/texmf/tex/latex/pgf/basiclayer/pgf.sty
 350 (/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty
 351 (/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex
 352 \pgfutil@everybye=\toks34
 353 )
 354 (/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def
 355 \pgfutil@abb=\box31
 356
 357 (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
 358 Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
 359 ))
 360 (/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex
 361 Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24)
 362 ))
 363 Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12)
 364
 365 (/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty
 366 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
 367 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 368
 369 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 370 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 371
 372 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
 373 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 374 )
 375 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
 376 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
 377 )
 378 Package graphics Info: Driver file: pdftex.def on input line 91.
 379 )
 380 \Gin@req@height=\dimen150
 381 \Gin@req@width=\dimen151
 382 )
 383 (/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty
 384 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex
 385 Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37)
 386
 387 (/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex)
 388 \pgf@x=\dimen152
 389 \pgf@y=\dimen153
 390 \pgf@xa=\dimen154
 391 \pgf@ya=\dimen155
 392 \pgf@xb=\dimen156
 393 \pgf@yb=\dimen157
 394 \pgf@xc=\dimen158
 395 \pgf@yc=\dimen159
 396 \w@pgf@writea=\write3
 397 \r@pgf@reada=\read1
 398 \c@pgf@counta=\count137
 399 \c@pgf@countb=\count138
 400 \c@pgf@countc=\count139
 401 \c@pgf@countd=\count140
 402
 403 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg
 404 File: pgf.cfg 2008/05/14  (rcs-revision 1.7)
 405 )
 406 Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900.
 407
 408 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
 409 File: pgfsys-pdftex.def 2009/05/22  (rcs-revision 1.26)
 410
 411 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
 412 File: pgfsys-common-pdf.def 2008/05/19  (rcs-revision 1.10)
 413 )))
 414 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
 415 File: pgfsyssoftpath.code.tex 2008/07/18  (rcs-revision 1.7)
 416 \pgfsyssoftpath@smallbuffer@items=\count141
 417 \pgfsyssoftpath@bigbuffer@items=\count142
 418 )
 419 (/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
 420 File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
 421 ))
 422 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex
 423 Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7)
 424
 425 (/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex
 426 (/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex
 427 (/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex)
 428 (/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex
 429 \pgfmath@dimen=\dimen160
 430 \pgfmath@count=\count143
 431 \pgfmath@box=\box32
 432 \pgfmath@toks=\toks35
 433 \pgfmath@stack@operand=\toks36
 434 \pgfmath@stack@operation=\toks37
 435 )
 436 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex
 437 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
 438 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex)
 439 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex)
 440 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex)
 441 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
 442 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
 443 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)))
 444 (/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex
 445 \c@pgfmathroundto@lastzeros=\count144
 446 ))
 447 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
 448 File: pgfcorepoints.code.tex 2010/04/09  (rcs-revision 1.20)
 449 \pgf@picminx=\dimen161
 450 \pgf@picmaxx=\dimen162
 451 \pgf@picminy=\dimen163
 452 \pgf@picmaxy=\dimen164
 453 \pgf@pathminx=\dimen165
 454 \pgf@pathmaxx=\dimen166
 455 \pgf@pathminy=\dimen167
 456 \pgf@pathmaxy=\dimen168
 457 \pgf@xx=\dimen169
 458 \pgf@xy=\dimen170
 459 \pgf@yx=\dimen171
 460 \pgf@yy=\dimen172
 461 \pgf@zx=\dimen173
 462 \pgf@zy=\dimen174
 463 )
 464 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
 465 File: pgfcorepathconstruct.code.tex 2010/08/03  (rcs-revision 1.24)
 466 \pgf@path@lastx=\dimen175
 467 \pgf@path@lasty=\dimen176
 468 )
 469 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
 470 File: pgfcorepathusage.code.tex 2008/04/22  (rcs-revision 1.12)
 471 \pgf@shorten@end@additional=\dimen177
 472 \pgf@shorten@start@additional=\dimen178
 473 )
 474 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
 475 File: pgfcorescopes.code.tex 2010/09/08  (rcs-revision 1.34)
 476 \pgfpic=\box33
 477 \pgf@hbox=\box34
 478 \pgf@layerbox@main=\box35
 479 \pgf@picture@serial@count=\count145
 480 )
 481 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
 482 File: pgfcoregraphicstate.code.tex 2008/04/22  (rcs-revision 1.9)
 483 \pgflinewidth=\dimen179
 484 )
 485 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
 486 File: pgfcoretransformations.code.tex 2009/06/10  (rcs-revision 1.11)
 487 \pgf@pt@x=\dimen180
 488 \pgf@pt@y=\dimen181
 489 \pgf@pt@temp=\dimen182
 490 )
 491 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
 492 File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)
 493 )
 494 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
 495 File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
 496 )
 497 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
 498 File: pgfcorepathprocessing.code.tex 2008/10/09  (rcs-revision 1.8)
 499 )
 500 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
 501 File: pgfcorearrows.code.tex 2008/04/23  (rcs-revision 1.11)
 502 )
 503 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
 504 File: pgfcoreshade.code.tex 2008/11/23  (rcs-revision 1.13)
 505 \pgf@max=\dimen183
 506 \pgf@sys@shading@range@num=\count146
 507 )
 508 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
 509 File: pgfcoreimage.code.tex 2010/03/25  (rcs-revision 1.16)
 510
 511 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
 512 File: pgfcoreexternal.code.tex 2010/09/01  (rcs-revision 1.17)
 513 \pgfexternal@startupbox=\box36
 514 ))
 515 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
 516 File: pgfcorelayers.code.tex 2010/08/27  (rcs-revision 1.2)
 517 )
 518 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
 519 File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)
 520 )
 521 (/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
 522 File: pgfcorepatterns.code.tex 2009/07/02  (rcs-revision 1.3)
 523 )))
 524 (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
 525 File: pgfmoduleshapes.code.tex 2010/09/09  (rcs-revision 1.13)
 526 \pgfnodeparttextbox=\box37
 527 )
 528 (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex
 529 File: pgfmoduleplot.code.tex 2010/10/22  (rcs-revision 1.8)
 530 )
 531 (/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
 532 Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7)
 533 \pgf@nodesepstart=\dimen184
 534 \pgf@nodesepend=\dimen185
 535 )
 536 (/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
 537 Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1)
 538 ))
 539 (/usr/share/texmf/tex/latex/pgf/utilities/pgffor.sty
 540 (/usr/share/texmf/tex/latex/pgf/utilities/pgfkeys.sty
 541 (/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex))
 542 (/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex
 543 Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18)
 544 \pgffor@iter=\dimen186
 545 \pgffor@skip=\dimen187
 546 \pgffor@stack=\toks38
 547 \pgffor@toks=\toks39
 548 ))
 549 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
 550 Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76)
 551
 552 (/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
 553 File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15)
 554 \pgf@plot@mark@count=\count147
 555 \pgfplotmarksize=\dimen188
 556 )
 557 \tikz@lastx=\dimen189
 558 \tikz@lasty=\dimen190
 559 \tikz@lastxsaved=\dimen191
 560 \tikz@lastysaved=\dimen192
 561 \tikzleveldistance=\dimen193
 562 \tikzsiblingdistance=\dimen194
 563 \tikz@figbox=\box38
 564 \tikz@tempbox=\box39
 565 \tikztreelevel=\count148
 566 \tikznumberofchildren=\count149
 567 \tikznumberofcurrentchild=\count150
 568 \tikz@fig@count=\count151
 569
 570 (/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex
 571 File: pgfmodulematrix.code.tex 2010/08/24  (rcs-revision 1.4)
 572 \pgfmatrixcurrentrow=\count152
 573 \pgfmatrixcurrentcolumn=\count153
 574 \pgf@matrix@numberofcolumns=\count154
 575 )
 576 \tikz@expandcount=\count155
 577
 578 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat
 579 hs.code.tex
 580 File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2)
 581 )))
 582 (/usr/share/texmf/tex/latex/pgf/compatibility/pgflibrarysnakes.sty
 583
 584 Package pgf Warning: This package is obsolete. Use \usetikzlibrary {snakes} ins
 585 tead on input line 11.
 586
 587 (/usr/share/texmf/tex/generic/pgf/libraries/pgflibrarysnakes.code.tex
 588 File: pgflibrarysnakes.code.tex 2008/01/19 v2.10 (rcs-revision 1.24)
 589
 590
 591 Package pgf Warning: Snakes have been superseded by decorations. Use the decora
 592 tion libraries instead of the snakes library on input line 13.
 593
 594
 595 (/usr/share/texmf/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.p
 596 athmorphing.code.tex
 597 (/usr/share/texmf/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
 598 \pgfdecoratedcompleteddistance=\dimen195
 599 \pgfdecoratedremainingdistance=\dimen196
 600 \pgfdecoratedinputsegmentcompleteddistance=\dimen197
 601 \pgfdecoratedinputsegmentremainingdistance=\dimen198
 602 \pgf@decorate@distancetomove=\dimen199
 603 \pgf@decorate@repeatstate=\count156
 604 \pgfdecorationsegmentamplitude=\dimen200
 605 \pgfdecorationsegmentlength=\dimen201
 606 ))
 607 (/usr/share/texmf/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.p
 608 athreplacing.code.tex)
 609 (/usr/share/texmf/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.s
 610 hapes.code.tex))) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
 611 Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi)
 612 \c@tracingmulticols=\count157
 613 \mult@box=\box40
 614 \multicol@leftmargin=\dimen202
 615 \c@unbalance=\count158
 616 \c@collectmore=\count159
 617 \doublecol@number=\count160
 618 \multicoltolerance=\count161
 619 \multicolpretolerance=\count162
 620 \full@width=\dimen203
 621 \page@free=\dimen204
 622 \premulticols=\dimen205
 623 \postmulticols=\dimen206
 624 \multicolsep=\skip54
 625 \multicolbaselineskip=\skip55
 626 \partial@page=\box41
 627 \last@line=\box42
 628 \mult@rightbox=\box43
 629 \mult@grightbox=\box44
 630 \mult@gfirstbox=\box45
 631 \mult@firstbox=\box46
 632 \@tempa=\box47
 633 \@tempa=\box48
 634 \@tempa=\box49
 635 \@tempa=\box50
 636 \@tempa=\box51
 637 \@tempa=\box52
 638 \@tempa=\box53
 639 \@tempa=\box54
 640 \@tempa=\box55
 641 \@tempa=\box56
 642 \@tempa=\box57
 643 \@tempa=\box58
 644 \@tempa=\box59
 645 \@tempa=\box60
 646 \@tempa=\box61
 647 \@tempa=\box62
 648 \@tempa=\box63
 649 \c@columnbadness=\count163
 650 \c@finalcolumnbadness=\count164
 651 \last@try=\dimen207
 652 \multicolovershoot=\dimen208
 653 \multicolundershoot=\dimen209
 654 \mult@nat@firstbox=\box64
 655 \colbreak@box=\box65
 656 \multicol@sort@counter=\count165
 657 )
 658 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrow
 659 s.code.tex
 660 File: tikzlibraryarrows.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 661
 662 (/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
 663 File: pgflibraryarrows.code.tex 2008/10/27 v2.10 (rcs-revision 1.9)
 664 \arrowsize=\dimen210
 665 ))
 666 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautom
 667 ata.code.tex
 668 File: tikzlibraryautomata.code.tex 2008/07/14 v2.10 (rcs-revision 1.3)
 669
 670 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 671 s.multipart.code.tex
 672 File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 673
 674 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.c
 675 ode.tex
 676 File: pgflibraryshapes.multipart.code.tex 2010/01/07 v2.10 (rcs-revision 1.2)
 677 \pgfnodepartlowerbox=\box66
 678 \pgfnodeparttwobox=\box67
 679 \pgfnodepartthreebox=\box68
 680 \pgfnodepartfourbox=\box69
 681 \pgfnodeparttwentybox=\box70
 682 \pgfnodepartnineteenbox=\box71
 683 \pgfnodeparteighteenbox=\box72
 684 \pgfnodepartseventeenbox=\box73
 685 \pgfnodepartsixteenbox=\box74
 686 \pgfnodepartfifteenbox=\box75
 687 \pgfnodepartfourteenbox=\box76
 688 \pgfnodepartthirteenbox=\box77
 689 \pgfnodeparttwelvebox=\box78
 690 \pgfnodepartelevenbox=\box79
 691 \pgfnodeparttenbox=\box80
 692 \pgfnodepartninebox=\box81
 693 \pgfnodeparteightbox=\box82
 694 \pgfnodepartsevenbox=\box83
 695 \pgfnodepartsixbox=\box84
 696 \pgfnodepartfivebox=\box85
 697 )))
 698 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarysnake
 699 s.code.tex
 700 File: tikzlibrarysnakes.code.tex 2008/02/05 v2.10 (rcs-revision 1.6)
 701
 702
 703 Package tikz Warning: Snakes have been superseded by decorations. Please use th
 704 e decoration libraries instead of the snakes library on input line 14.
 705
 706
 707 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor
 708 ations.pathmorphing.code.tex
 709 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor
 710 ations.code.tex
 711 \tikz@lib@dec@box=\box86
 712 ))
 713 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor
 714 ations.pathreplacing.code.tex)
 715 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecor
 716 ations.shapes.code.tex))
 717 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 718 s.code.tex
 719 File: tikzlibraryshapes.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 720
 721 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 722 s.geometric.code.tex
 723 File: tikzlibraryshapes.geometric.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 724
 725 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.c
 726 ode.tex
 727 File: pgflibraryshapes.geometric.code.tex 2008/06/26 v2.10 (rcs-revision 1.1)
 728 ))
 729 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 730 s.misc.code.tex
 731 File: tikzlibraryshapes.misc.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 732
 733 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.t
 734 ex
 735 File: pgflibraryshapes.misc.code.tex 2008/10/07 v2.10 (rcs-revision 1.3)
 736 ))
 737 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 738 s.symbols.code.tex
 739 File: tikzlibraryshapes.symbols.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 740
 741 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.cod
 742 e.tex
 743 File: pgflibraryshapes.symbols.code.tex 2009/10/27 v2.10 (rcs-revision 1.3)
 744 ))
 745 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 746 s.arrows.code.tex
 747 File: tikzlibraryshapes.arrows.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
 748
 749 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code
 750 .tex
 751 File: pgflibraryshapes.arrows.code.tex 2008/06/26 v2.10 (rcs-revision 1.1)
 752 ))
 753 (/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape
 754 s.callouts.code.tex
 755 (/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.co
 756 de.tex)))
 757 \c@theorem=\count166
 758  (./preuve-jeff.aux)
 759 \openout1 = `preuve-jeff.aux'.
 760
 761 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 73.
 762 LaTeX Font Info:    ... okay on input line 73.
 763 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 73.
 764 LaTeX Font Info:    ... okay on input line 73.
 765 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 73.
 766 LaTeX Font Info:    ... okay on input line 73.
 767 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 73.
 768 LaTeX Font Info:    ... okay on input line 73.
 769 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 73.
 770 LaTeX Font Info:    ... okay on input line 73.
 771 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 73.
 772 LaTeX Font Info:    ... okay on input line 73.
 773
 774 *geometry* driver: auto-detecting
 775 *geometry* detected driver: pdftex
 776 *geometry* verbose mode - [ preamble ] result:
 777 * driver: pdftex
 778 * paper: a4paper
 779 * layout: <same size as paper>
 780 * layoutoffset:(h,v)=(0.0pt,0.0pt)
 781 * modes:
 782 * h-part:(L,W,R)=(85.35826pt, 426.79135pt, 85.35826pt)
 783 * v-part:(T,H,B)=(85.35826pt, 674.33032pt, 85.35826pt)
 784 * \paperwidth=597.50787pt
 785 * \paperheight=845.04684pt
 786 * \textwidth=426.79135pt
 787 * \textheight=674.33032pt
 788 * \oddsidemargin=13.08827pt
 789 * \evensidemargin=13.08827pt
 790 * \topmargin=-23.91173pt
 791 * \headheight=12.0pt
 792 * \headsep=25.0pt
 793 * \topskip=10.0pt
 794 * \footskip=30.0pt
 795 * \marginparwidth=65.0pt
 796 * \marginparsep=11.0pt
 797 * \columnsep=10.0pt
 798 * \skip\footins=9.0pt plus 4.0pt minus 2.0pt
 799 * \hoffset=0.0pt
 800 * \voffset=0.0pt
 801 * \mag=1000
 802 * \@twocolumnfalse
 803 * \@twosidefalse
 804 * \@mparswitchfalse
 805 * \@reversemarginfalse
 806 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
 807
 808 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
 809 [Loading MPS to PDF converter (version 2006.09.02).]
 810 \scratchcounter=\count167
 811 \scratchdimen=\dimen211
 812 \scratchbox=\box87
 813 \nofMPsegments=\count168
 814 \nofMParguments=\count169
 815 \everyMPshowfont=\toks40
 816 \MPscratchCnt=\count170
 817 \MPscratchDim=\dimen212
 818 \MPnumerator=\count171
 819 \makeMPintoPDFobject=\count172
 820 \everyMPtoPDFconversion=\toks41
 821 ) ABD: EveryShipout initializing macros
 822 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
 823 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
 824 )
 825
 826 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
 827 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
 828 Package ifluatex Info: LuaTeX not detected.
 829 )
 830 Package pdftexcmds Info: LuaTeX not detected.
 831 Package pdftexcmds Info: \pdf@primitive is available.
 832 Package pdftexcmds Info: \pdf@ifprimitive is available.
 833 Package pdftexcmds Info: \pdfdraftmode found.
 834 )
 835 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
 836 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
 837
 838 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
 839 Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
 840
 841 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
 842 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
 843 ))
 844 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 845 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 846
 847 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
 848 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
 849
 850 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
 851 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
 852 Package etexcmds Info: Could not find \expanded.
 853 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
 854 (etexcmds)             that some package has redefined \expanded.
 855 (etexcmds)             In the latter case, load this package earlier.
 856 )))
 857 Package grfext Info: Graphics extension search list:
 858 (grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
 859 G,.JBIG2,.JB2,.eps]
 860 (grfext)             \AppendGraphicsExtensions on input line 452.
 861
 862 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
 863 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
 864 e
 865 ))
 866 LaTeX Font Info:    Try loading font information for U+msa on input line 81.
 867
 868 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
 869 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
 870 )
 871 LaTeX Font Info:    Try loading font information for U+msb on input line 81.
 872
 873 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
 874 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
 875 )
 876 LaTeX Font Info:    Try loading font information for U+lasy on input line 81.
 877
 878 (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
 879 File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
 880 ) [1
 881 Non-PDF special ignored!
 882 Non-PDF special ignored!
 883 Non-PDF special ignored!
 884 Non-PDF special ignored!
 885 Non-PDF special ignored!
 886 Non-PDF special ignored!
 887
 888
 889 Non-PDF special ignored!
 890 Non-PDF special ignored!
 891 Non-PDF special ignored!
 892 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
 893
 894 LaTeX Warning: Citation `proba' on page 2 undefined on input line 239.
 895
 896 [2] [3] (./preuve-jeff.aux)
 897
 898 LaTeX Warning: There were undefined references.
 899
 900  )
 901 Here is how much of TeX's memory you used:
 902  17028 strings out of 494999
 903  326733 string characters out of 6180228
 904  441099 words of memory out of 5000000
 905  19836 multiletter control sequences out of 15000+600000
 906  11632 words of font info for 33 fonts, out of 8000000 for 9000
 907  14 hyphenation exceptions out of 8191
 908  48i,13n,56p,546b,165s stack positions out of 5000i,500n,10000p,200000b,80000s
 909  </home/couchot/.texmf-var/fonts/pk/ljfour/jknappen/ec/eccc1000.600pk> </home
 910 /couchot/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk> </home/couchot/
 911 .texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1000.600pk> </home/couchot/.texmf-va
 912 r/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk> </home/couchot/.texmf-var/fonts/p
 913 k/ljfour/jknappen/ec/ecbx1440.600pk></usr/share/texlive/texmf-dist/fonts/type1/
 914 public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
 915 /amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
 916 nts/cm/cmmi5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
 917 cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.p
 918 fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></usr
 919 /share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/t
 920 exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive
 921 /texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/share/texlive/texmf-
 922 dist/fonts/type1/public/amsfonts/latxfont/lasy10.pfb></usr/share/texlive/texmf-
 923 dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-d
 924 ist/fonts/type1/public/amsfonts/symbols/msbm7.pfb>
 925 Output written on preuve-jeff.pdf (3 pages, 153061 bytes).
 926 PDF statistics:
 927  220 PDF objects out of 1000 (max. 8388607)
 928  67 compressed objects within 1 object stream
 929  0 named destinations out of 1000 (max. 500000)
 930  13 words of extra memory for PDF output out of 10000 (max. 10000000)
 931