partiels/S2_0905/partiel.log

   1 This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2009.11.2)  27 NOV 2009 09:33
   2 entering extended mode
   3  %&-line parsing enabled.
   4 **partiel.tex
   5 (./partiel.tex
   6 LaTeX2e <2005/12/01>
   7 Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
   8 yphenation, loaded.
   9 (/usr/share/texmf-texlive/tex/latex/base/article.cls
  10 Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
  11 (/usr/share/texmf-texlive/tex/latex/base/size12.clo
  12 File: size12.clo 2005/09/16 v1.4f 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/texmf-texlive/tex/latex/geometry/geometry.sty
  27 Package: geometry 2002/07/08 v3.2 Page Geometry
  28
  29 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
  30 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
  31 \KV@toks@=\toks14
  32 )
  33 \Gm@cnth=\count87
  34 \Gm@cntv=\count88
  35 \c@Gm@tempcnt=\count89
  36 \Gm@bindingoffset=\dimen103
  37 \Gm@wd@mp=\dimen104
  38 \Gm@odd@mp=\dimen105
  39 \Gm@even@mp=\dimen106
  40 \Gm@dimlist=\toks15
  41 )
  42 (/usr/share/texmf-texlive/tex/generic/babel/babel.sty
  43 Package: babel 2005/11/23 v3.8h The Babel package
  44
  45 (/usr/share/texmf-texlive/tex/generic/babel/frenchb.ldf
  46 Language: french 2005/02/06 v1.6g French support from the babel system
  47
  48 (/usr/share/texmf-texlive/tex/generic/babel/babel.def
  49 File: babel.def 2005/11/23 v3.8h Babel common definitions
  50 \babel@savecnt=\count90
  51 \U@D=\dimen107
  52 )
  53
  54 Package babel Warning: No hyphenation patterns were loaded for
  55 (babel)                the language `French'
  56 (babel)                I will use the patterns loaded for \language=0 instead.
  57
  58 \l@french = a dialect from \language0
  59 Package babel Info: Making : an active character on input line 219.
  60 Package babel Info: Making ; an active character on input line 220.
  61 Package babel Info: Making ! an active character on input line 221.
  62 Package babel Info: Making ? an active character on input line 222.
  63 LaTeX Font Info:    Redeclaring font encoding T1 on input line 299.
  64 \parindentFFN=\dimen108
  65 \std@mcc=\count91
  66 \dec@mcc=\count92
  67 *************************************
  68 * Local config file frenchb.cfg used
  69 *
  70 (/usr/share/texmf-texlive/tex/generic/babel/frenchb.cfg)))
  71 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
  72 Package: inputenc 2006/05/05 v1.1b Input encoding file
  73 \inpenc@prehook=\toks16
  74 \inpenc@posthook=\toks17
  75
  76 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
  77 File: utf8.def 2006/03/30 v1.1i UTF-8 support for inputenc
  78 Now handling font encoding OML ...
  79 ... no UTF-8 mapping file for font encoding OML
  80 Now handling font encoding T1 ...
  81 ... processing UTF-8 mapping file for font encodingT1
  82
  83 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu
  84 File: t1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
  85    defining Unicode char U+00A1 (decimal 161)
  86    defining Unicode char U+00A3 (decimal 163)
  87    defining Unicode char U+00AB (decimal 171)
  88    defining Unicode char U+00BB (decimal 187)
  89    defining Unicode char U+00BF (decimal 191)
  90    defining Unicode char U+00C0 (decimal 192)
  91    defining Unicode char U+00C1 (decimal 193)
  92    defining Unicode char U+00C2 (decimal 194)
  93    defining Unicode char U+00C3 (decimal 195)
  94    defining Unicode char U+00C4 (decimal 196)
  95    defining Unicode char U+00C5 (decimal 197)
  96    defining Unicode char U+00C6 (decimal 198)
  97    defining Unicode char U+00C7 (decimal 199)
  98    defining Unicode char U+00C8 (decimal 200)
  99    defining Unicode char U+00C9 (decimal 201)
 100    defining Unicode char U+00CA (decimal 202)
 101    defining Unicode char U+00CB (decimal 203)
 102    defining Unicode char U+00CC (decimal 204)
 103    defining Unicode char U+00CD (decimal 205)
 104    defining Unicode char U+00CE (decimal 206)
 105    defining Unicode char U+00CF (decimal 207)
 106    defining Unicode char U+00D0 (decimal 208)
 107    defining Unicode char U+00D1 (decimal 209)
 108    defining Unicode char U+00D2 (decimal 210)
 109    defining Unicode char U+00D3 (decimal 211)
 110    defining Unicode char U+00D4 (decimal 212)
 111    defining Unicode char U+00D5 (decimal 213)
 112    defining Unicode char U+00D6 (decimal 214)
 113    defining Unicode char U+00D8 (decimal 216)
 114    defining Unicode char U+00D9 (decimal 217)
 115    defining Unicode char U+00DA (decimal 218)
 116    defining Unicode char U+00DB (decimal 219)
 117    defining Unicode char U+00DC (decimal 220)
 118    defining Unicode char U+00DD (decimal 221)
 119    defining Unicode char U+00DE (decimal 222)
 120    defining Unicode char U+00DF (decimal 223)
 121    defining Unicode char U+00E0 (decimal 224)
 122    defining Unicode char U+00E1 (decimal 225)
 123    defining Unicode char U+00E2 (decimal 226)
 124    defining Unicode char U+00E3 (decimal 227)
 125    defining Unicode char U+00E4 (decimal 228)
 126    defining Unicode char U+00E5 (decimal 229)
 127    defining Unicode char U+00E6 (decimal 230)
 128    defining Unicode char U+00E7 (decimal 231)
 129    defining Unicode char U+00E8 (decimal 232)
 130    defining Unicode char U+00E9 (decimal 233)
 131    defining Unicode char U+00EA (decimal 234)
 132    defining Unicode char U+00EB (decimal 235)
 133    defining Unicode char U+00EC (decimal 236)
 134    defining Unicode char U+00ED (decimal 237)
 135    defining Unicode char U+00EE (decimal 238)
 136    defining Unicode char U+00EF (decimal 239)
 137    defining Unicode char U+00F0 (decimal 240)
 138    defining Unicode char U+00F1 (decimal 241)
 139    defining Unicode char U+00F2 (decimal 242)
 140    defining Unicode char U+00F3 (decimal 243)
 141    defining Unicode char U+00F4 (decimal 244)
 142    defining Unicode char U+00F5 (decimal 245)
 143    defining Unicode char U+00F6 (decimal 246)
 144    defining Unicode char U+00F8 (decimal 248)
 145    defining Unicode char U+00F9 (decimal 249)
 146    defining Unicode char U+00FA (decimal 250)
 147    defining Unicode char U+00FB (decimal 251)
 148    defining Unicode char U+00FC (decimal 252)
 149    defining Unicode char U+00FD (decimal 253)
 150    defining Unicode char U+00FE (decimal 254)
 151    defining Unicode char U+00FF (decimal 255)
 152    defining Unicode char U+0102 (decimal 258)
 153    defining Unicode char U+0103 (decimal 259)
 154    defining Unicode char U+0104 (decimal 260)
 155    defining Unicode char U+0105 (decimal 261)
 156    defining Unicode char U+0106 (decimal 262)
 157    defining Unicode char U+0107 (decimal 263)
 158    defining Unicode char U+010C (decimal 268)
 159    defining Unicode char U+010D (decimal 269)
 160    defining Unicode char U+010E (decimal 270)
 161    defining Unicode char U+010F (decimal 271)
 162    defining Unicode char U+0110 (decimal 272)
 163    defining Unicode char U+0111 (decimal 273)
 164    defining Unicode char U+0118 (decimal 280)
 165    defining Unicode char U+0119 (decimal 281)
 166    defining Unicode char U+011A (decimal 282)
 167    defining Unicode char U+011B (decimal 283)
 168    defining Unicode char U+011E (decimal 286)
 169    defining Unicode char U+011F (decimal 287)
 170    defining Unicode char U+0130 (decimal 304)
 171    defining Unicode char U+0131 (decimal 305)
 172    defining Unicode char U+0132 (decimal 306)
 173    defining Unicode char U+0133 (decimal 307)
 174    defining Unicode char U+0139 (decimal 313)
 175    defining Unicode char U+013A (decimal 314)
 176    defining Unicode char U+013D (decimal 317)
 177    defining Unicode char U+013E (decimal 318)
 178    defining Unicode char U+0141 (decimal 321)
 179    defining Unicode char U+0142 (decimal 322)
 180    defining Unicode char U+0143 (decimal 323)
 181    defining Unicode char U+0144 (decimal 324)
 182    defining Unicode char U+0147 (decimal 327)
 183    defining Unicode char U+0148 (decimal 328)
 184    defining Unicode char U+014A (decimal 330)
 185    defining Unicode char U+014B (decimal 331)
 186    defining Unicode char U+0150 (decimal 336)
 187    defining Unicode char U+0151 (decimal 337)
 188    defining Unicode char U+0152 (decimal 338)
 189    defining Unicode char U+0153 (decimal 339)
 190    defining Unicode char U+0154 (decimal 340)
 191    defining Unicode char U+0155 (decimal 341)
 192    defining Unicode char U+0158 (decimal 344)
 193    defining Unicode char U+0159 (decimal 345)
 194    defining Unicode char U+015A (decimal 346)
 195    defining Unicode char U+015B (decimal 347)
 196    defining Unicode char U+015E (decimal 350)
 197    defining Unicode char U+015F (decimal 351)
 198    defining Unicode char U+0160 (decimal 352)
 199    defining Unicode char U+0161 (decimal 353)
 200    defining Unicode char U+0162 (decimal 354)
 201    defining Unicode char U+0163 (decimal 355)
 202    defining Unicode char U+0164 (decimal 356)
 203    defining Unicode char U+0165 (decimal 357)
 204    defining Unicode char U+016E (decimal 366)
 205    defining Unicode char U+016F (decimal 367)
 206    defining Unicode char U+0170 (decimal 368)
 207    defining Unicode char U+0171 (decimal 369)
 208    defining Unicode char U+0178 (decimal 376)
 209    defining Unicode char U+0179 (decimal 377)
 210    defining Unicode char U+017A (decimal 378)
 211    defining Unicode char U+017B (decimal 379)
 212    defining Unicode char U+017C (decimal 380)
 213    defining Unicode char U+017D (decimal 381)
 214    defining Unicode char U+017E (decimal 382)
 215    defining Unicode char U+200C (decimal 8204)
 216    defining Unicode char U+2013 (decimal 8211)
 217    defining Unicode char U+2014 (decimal 8212)
 218    defining Unicode char U+2018 (decimal 8216)
 219    defining Unicode char U+2019 (decimal 8217)
 220    defining Unicode char U+201A (decimal 8218)
 221    defining Unicode char U+201C (decimal 8220)
 222    defining Unicode char U+201D (decimal 8221)
 223    defining Unicode char U+201E (decimal 8222)
 224    defining Unicode char U+2030 (decimal 8240)
 225    defining Unicode char U+2031 (decimal 8241)
 226    defining Unicode char U+2039 (decimal 8249)
 227    defining Unicode char U+203A (decimal 8250)
 228    defining Unicode char U+2423 (decimal 9251)
 229 )
 230 Now handling font encoding OT1 ...
 231 ... processing UTF-8 mapping file for font encodingOT1
 232
 233 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu
 234 File: ot1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
 235    defining Unicode char U+00A1 (decimal 161)
 236    defining Unicode char U+00A3 (decimal 163)
 237    defining Unicode char U+00B8 (decimal 184)
 238    defining Unicode char U+00BF (decimal 191)
 239    defining Unicode char U+00C5 (decimal 197)
 240    defining Unicode char U+00C6 (decimal 198)
 241    defining Unicode char U+00D8 (decimal 216)
 242    defining Unicode char U+00DF (decimal 223)
 243    defining Unicode char U+00E6 (decimal 230)
 244    defining Unicode char U+00EC (decimal 236)
 245    defining Unicode char U+00ED (decimal 237)
 246    defining Unicode char U+00EE (decimal 238)
 247    defining Unicode char U+00EF (decimal 239)
 248    defining Unicode char U+00F8 (decimal 248)
 249    defining Unicode char U+0131 (decimal 305)
 250    defining Unicode char U+0141 (decimal 321)
 251    defining Unicode char U+0142 (decimal 322)
 252    defining Unicode char U+0152 (decimal 338)
 253    defining Unicode char U+0153 (decimal 339)
 254    defining Unicode char U+2013 (decimal 8211)
 255    defining Unicode char U+2014 (decimal 8212)
 256    defining Unicode char U+2018 (decimal 8216)
 257    defining Unicode char U+2019 (decimal 8217)
 258    defining Unicode char U+201C (decimal 8220)
 259    defining Unicode char U+201D (decimal 8221)
 260 )
 261 Now handling font encoding OMS ...
 262 ... processing UTF-8 mapping file for font encodingOMS
 263
 264 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu
 265 File: omsenc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
 266    defining Unicode char U+00A7 (decimal 167)
 267    defining Unicode char U+00B6 (decimal 182)
 268    defining Unicode char U+00B7 (decimal 183)
 269    defining Unicode char U+2020 (decimal 8224)
 270    defining Unicode char U+2021 (decimal 8225)
 271    defining Unicode char U+2022 (decimal 8226)
 272 )
 273 Now handling font encoding OMX ...
 274 ... no UTF-8 mapping file for font encoding OMX
 275 Now handling font encoding U ...
 276 ... no UTF-8 mapping file for font encoding U
 277    defining Unicode char U+00A9 (decimal 169)
 278    defining Unicode char U+00AA (decimal 170)
 279    defining Unicode char U+00AE (decimal 174)
 280    defining Unicode char U+00BA (decimal 186)
 281    defining Unicode char U+02C6 (decimal 710)
 282    defining Unicode char U+02DC (decimal 732)
 283    defining Unicode char U+200C (decimal 8204)
 284    defining Unicode char U+2026 (decimal 8230)
 285    defining Unicode char U+2122 (decimal 8482)
 286    defining Unicode char U+2423 (decimal 9251)
 287 ))
 288 (/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty
 289 Package: a4 2004/04/15 v1.2g A4 based page layout
 290 )
 291 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
 292 Package: amsmath 2000/07/18 v2.13 AMS math features
 293 \@mathmargin=\skip43
 294
 295 For additional information on amsmath, use the `?' option.
 296 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
 297 Package: amstext 2000/06/29 v2.01
 298
 299 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
 300 File: amsgen.sty 1999/11/30 v2.0
 301 \@emptytoks=\toks18
 302 \ex@=\dimen109
 303 ))
 304 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
 305 Package: amsbsy 1999/11/29 v1.2d
 306 \pmbraise@=\dimen110
 307 )
 308 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
 309 Package: amsopn 1999/12/14 v2.01 operator names
 310 )
 311 \inf@bad=\count93
 312 LaTeX Info: Redefining \frac on input line 211.
 313 \uproot@=\count94
 314 \leftroot@=\count95
 315 LaTeX Info: Redefining \overline on input line 307.
 316 \classnum@=\count96
 317 \DOTSCASE@=\count97
 318 LaTeX Info: Redefining \ldots on input line 379.
 319 LaTeX Info: Redefining \dots on input line 382.
 320 LaTeX Info: Redefining \cdots on input line 467.
 321 \Mathstrutbox@=\box26
 322 \strutbox@=\box27
 323 \big@size=\dimen111
 324 LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
 325 LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
 326 \macc@depth=\count98
 327 \c@MaxMatrixCols=\count99
 328 \dotsspace@=\muskip10
 329 \c@parentequation=\count100
 330 \dspbrk@lvl=\count101
 331 \tag@help=\toks19
 332 \row@=\count102
 333 \column@=\count103
 334 \maxfields@=\count104
 335 \andhelp@=\toks20
 336 \eqnshift@=\dimen112
 337 \alignsep@=\dimen113
 338 \tagshift@=\dimen114
 339 \tagwidth@=\dimen115
 340 \totwidth@=\dimen116
 341 \lineht@=\dimen117
 342 \@envbody=\toks21
 343 \multlinegap=\skip44
 344 \multlinetaggap=\skip45
 345 \mathdisplay@stack=\toks22
 346 LaTeX Info: Redefining \[ on input line 2666.
 347 LaTeX Info: Redefining \] on input line 2667.
 348 )
 349 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
 350 Package: amsfonts 2001/10/25 v2.2f
 351 \symAMSa=\mathgroup4
 352 \symAMSb=\mathgroup5
 353 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 354 (Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
 355 )
 356 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
 357 Package: amssymb 2002/01/22 v2.2d
 358 )
 359 (/usr/share/texmf-texlive/tex/latex/ltxmisc/framed.sty
 360 Package: framed 2003/07/21 v 0.8a: framed or shaded text with page breaks
 361 \FrameRule=\dimen118
 362 \FrameSep=\dimen119
 363 )
 364 (/usr/share/texmf-texlive/tex/latex/doublestroke/dsfont.sty
 365 Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
 366 )
 367 (/usr/share/texmf-texlive/tex/latex/ntheorem/ntheorem.sty
 368 Style `ntheorem', Version 1.25 <2005/07/07>
 369 Package: ntheorem 2005/07/07 1.25
 370 \theorem@style=\toks23
 371 \theorem@@style=\toks24
 372 \theorembodyfont=\toks25
 373 \theoremnumbering=\toks26
 374 \theorempreskipamount=\skip46
 375 \theorempostskipamount=\skip47
 376 \theoremindent=\dimen120
 377 \theorem@indent=\dimen121
 378 \theoremheaderfont=\toks27
 379 \theoremseparator=\toks28
 380 \theoremprework=\toks29
 381 \theorempostwork=\toks30
 382 \theoremsymbol=\toks31
 383 \qedsymbol=\toks32
 384 \theoremkeyword=\toks33
 385 \qedsymbol=\toks34
 386 \thm@topsepadd=\skip48
 387 Package ntheorem Info: Option `thmmarks' loaded on input line 1029.
 388 \c@endNonectr=\count105
 389 \c@currNonectr=\count106
 390 \mysavskip=\skip49
 391 Package ntheorem Info: Option `thref' loaded on input line 1029.
 392 \mysavskip=\skip50
 393 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
 394 ne 1029.
 395 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
 396  line 1029.
 397 \thm@amstmpdepth=\dimen122
 398 \shadecolor=\toks35
 399 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
 400 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 401
 402 (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
 403 Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 404
 405 (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
 406 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 407 )
 408 (/etc/texmf/tex/latex/config/graphics.cfg
 409 File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
 410 )
 411 Package graphics Info: Driver file: dvips.def on input line 90.
 412
 413 (/usr/share/texmf-texlive/tex/latex/graphics/dvips.def
 414 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
 415 ))
 416 \Gin@req@height=\dimen123
 417 \Gin@req@width=\dimen124
 418 )
 419 (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty
 420 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
 421 \epsfxsize=\dimen125
 422 \epsfysize=\dimen126
 423 )
 424 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty
 425 Package: calc 2005/08/06 v4.2 Infix arithmetic (KKT,FJ)
 426 \calc@Acount=\count107
 427 \calc@Bcount=\count108
 428 \calc@Adimen=\dimen127
 429 \calc@Bdimen=\dimen128
 430 \calc@Askip=\skip51
 431 \calc@Bskip=\skip52
 432 LaTeX Info: Redefining \setlength on input line 75.
 433 LaTeX Info: Redefining \addtolength on input line 76.
 434 \calc@Ccount=\count109
 435 \calc@Cskip=\skip53
 436 )
 437 (/usr/share/texmf-texlive/tex/latex/ltxmisc/tabls.sty
 438 \tablinesep=\dimen129
 439 \arraylinesep=\dimen130
 440 \extrarulesep=\dimen131
 441 \@arstdepth=\dimen132
 442 \@arstheight=\dimen133
 443 \@skip@bove=\dimen134
 444 )
 445 (/usr/share/texmf-texlive/tex/latex/slashbox/slashbox.sty
 446 slashbox style by K.Yasuoka, May 1993.
 447 \@slashboxa=\box28
 448 \@slashboxb=\box29
 449 \@slashboxc=\box30
 450 \@slashboxwd=\count110
 451 \@slashboxht=\count111
 452 \@slashsepl=\dimen135
 453 \@slashsepr=\dimen136
 454 ) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty
 455 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
 456 )
 457 (/usr/share/texmf-texlive/tex/latex/tools/tabularx.sty
 458 Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
 459
 460 (/usr/share/texmf-texlive/tex/latex/tools/array.sty
 461 Package: array 2005/08/23 v2.4b Tabular extension package (FMi)
 462 \col@sep=\dimen137
 463 \extrarowheight=\dimen138
 464 \NC@list=\toks36
 465 \extratabsurround=\skip54
 466 \backup@length=\skip55
 467
 468
 469 LaTeX Warning: Command \@xhline  has changed.
 470                Check if current package is valid.
 471
 472 )
 473 \TX@col@width=\dimen139
 474 \TX@old@table=\dimen140
 475 \TX@old@col=\dimen141
 476 \TX@target=\dimen142
 477 \TX@delta=\dimen143
 478 \TX@cols=\count112
 479 \TX@ftn=\toks37
 480 ) (/usr/share/texmf-texlive/tex/latex/base/textcomp.sty
 481 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
 482 Package textcomp Info: Sub-encoding information:
 483 (textcomp)               5 = only ISO-Adobe without \textcurrency
 484 (textcomp)               4 = 5 + \texteuro
 485 (textcomp)               3 = 4 + \textohm
 486 (textcomp)               2 = 3 + \textestimated + \textcurrency
 487 (textcomp)               1 = TS1 - \textcircled - \t
 488 (textcomp)               0 = TS1 (full)
 489 (textcomp)             Font families with sub-encoding setting implement
 490 (textcomp)             only a restricted character set as indicated.
 491 (textcomp)             Family '?' is the default used for unknown fonts.
 492 (textcomp)             See the documentation for details.
 493 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
 494
 495 (/usr/share/texmf-texlive/tex/latex/base/ts1enc.def
 496 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
 497 Now handling font encoding TS1 ...
 498 ... processing UTF-8 mapping file for font encoding TS1
 499
 500 (/usr/share/texmf-texlive/tex/latex/base/ts1enc.dfu
 501 File: ts1enc.dfu 2006/03/30 v1.1i UTF-8 support for inputenc
 502    defining Unicode char U+00A2 (decimal 162)
 503    defining Unicode char U+00A3 (decimal 163)
 504    defining Unicode char U+00A4 (decimal 164)
 505    defining Unicode char U+00A5 (decimal 165)
 506    defining Unicode char U+00A6 (decimal 166)
 507    defining Unicode char U+00A7 (decimal 167)
 508    defining Unicode char U+00A8 (decimal 168)
 509    defining Unicode char U+00A9 (decimal 169)
 510    defining Unicode char U+00AA (decimal 170)
 511    defining Unicode char U+00AC (decimal 172)
 512    defining Unicode char U+00AE (decimal 174)
 513    defining Unicode char U+00AF (decimal 175)
 514    defining Unicode char U+00B0 (decimal 176)
 515    defining Unicode char U+00B1 (decimal 177)
 516    defining Unicode char U+00B2 (decimal 178)
 517    defining Unicode char U+00B3 (decimal 179)
 518    defining Unicode char U+00B4 (decimal 180)
 519    defining Unicode char U+00B5 (decimal 181)
 520    defining Unicode char U+00B6 (decimal 182)
 521    defining Unicode char U+00B7 (decimal 183)
 522    defining Unicode char U+00B9 (decimal 185)
 523    defining Unicode char U+00BA (decimal 186)
 524    defining Unicode char U+00BC (decimal 188)
 525    defining Unicode char U+00BD (decimal 189)
 526    defining Unicode char U+00BE (decimal 190)
 527    defining Unicode char U+00D7 (decimal 215)
 528    defining Unicode char U+00F7 (decimal 247)
 529    defining Unicode char U+0192 (decimal 402)
 530    defining Unicode char U+02C7 (decimal 711)
 531    defining Unicode char U+02D8 (decimal 728)
 532    defining Unicode char U+02DD (decimal 733)
 533    defining Unicode char U+0E3F (decimal 3647)
 534    defining Unicode char U+2016 (decimal 8214)
 535    defining Unicode char U+2020 (decimal 8224)
 536    defining Unicode char U+2021 (decimal 8225)
 537    defining Unicode char U+2022 (decimal 8226)
 538    defining Unicode char U+2030 (decimal 8240)
 539    defining Unicode char U+2031 (decimal 8241)
 540    defining Unicode char U+203B (decimal 8251)
 541    defining Unicode char U+203D (decimal 8253)
 542    defining Unicode char U+2044 (decimal 8260)
 543    defining Unicode char U+204E (decimal 8270)
 544    defining Unicode char U+2052 (decimal 8274)
 545    defining Unicode char U+20A1 (decimal 8353)
 546    defining Unicode char U+20A4 (decimal 8356)
 547    defining Unicode char U+20A6 (decimal 8358)
 548    defining Unicode char U+20A9 (decimal 8361)
 549    defining Unicode char U+20AB (decimal 8363)
 550    defining Unicode char U+20AC (decimal 8364)
 551    defining Unicode char U+20B1 (decimal 8369)
 552    defining Unicode char U+2103 (decimal 8451)
 553    defining Unicode char U+2116 (decimal 8470)
 554    defining Unicode char U+2117 (decimal 8471)
 555    defining Unicode char U+211E (decimal 8478)
 556    defining Unicode char U+2120 (decimal 8480)
 557    defining Unicode char U+2122 (decimal 8482)
 558    defining Unicode char U+2126 (decimal 8486)
 559    defining Unicode char U+2127 (decimal 8487)
 560    defining Unicode char U+212E (decimal 8494)
 561    defining Unicode char U+2190 (decimal 8592)
 562    defining Unicode char U+2191 (decimal 8593)
 563    defining Unicode char U+2192 (decimal 8594)
 564    defining Unicode char U+2193 (decimal 8595)
 565    defining Unicode char U+2329 (decimal 9001)
 566    defining Unicode char U+232A (decimal 9002)
 567    defining Unicode char U+2422 (decimal 9250)
 568    defining Unicode char U+25E6 (decimal 9702)
 569    defining Unicode char U+25EF (decimal 9711)
 570    defining Unicode char U+266A (decimal 9834)
 571 ))
 572 LaTeX Info: Redefining \oldstylenums on input line 266.
 573 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
 574 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
 575 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
 576 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
 577 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
 578 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
 579 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
 580 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
 581 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
 582 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
 583 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
 584 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
 585 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
 586 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
 587 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
 588 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
 589 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
 590 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
 591 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
 592 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
 593 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
 594 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
 595 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
 596 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
 597
 598 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
 599 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
 600 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
 601 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
 602 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
 603 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
 604 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 311.
 605 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 312.
 606 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 313.
 607 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 314.
 608 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 315.
 609 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 316.
 610 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 317.
 611 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 318.
 612 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 319.
 613 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 320.
 614 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 321.
 615 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 322.
 616 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 323.
 617 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 324.
 618 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 325.
 619 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 326.
 620 ) (./partiel.aux)
 621 \openout1 = `partiel.aux'.
 622
 623 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 26.
 624 LaTeX Font Info:    ... okay on input line 26.
 625 LaTeX Font Info:    Checking defaults for T1/lmr/m/n on input line 26.
 626 LaTeX Font Info:    Try loading font information for T1+lmr on input line 26.
 627
 628 (/usr/share/texmf/tex/latex/lm/t1lmr.fd
 629 File: t1lmr.fd 2007/01/14 v1.3 Font defs for Latin Modern
 630 )
 631 LaTeX Font Info:    ... okay on input line 26.
 632 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 26.
 633 LaTeX Font Info:    ... okay on input line 26.
 634 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 26.
 635 LaTeX Font Info:    ... okay on input line 26.
 636 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 26.
 637 LaTeX Font Info:    ... okay on input line 26.
 638 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 26.
 639 LaTeX Font Info:    ... okay on input line 26.
 640 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 26.
 641 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 26.
 642
 643 (/usr/share/texmf-texlive/tex/latex/base/ts1cmr.fd
 644 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 645 )
 646 LaTeX Font Info:    ... okay on input line 26.
 647 LaTeX Font Info:    Try loading font information for OT1+ptm on input line 26.
 648
 649 (/usr/share/texmf-texlive/tex/latex/psnfss/ot1ptm.fd
 650 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
 651 )
 652 -------------------- Geometry parameters
 653 paper: a4paper
 654 landscape: --
 655 twocolumn: --
 656 twoside: --
 657 asymmetric: --
 658 h-parts: 28.45274pt, 540.60239pt, 28.45274pt
 659 v-parts: 28.45274pt, 788.14136pt, 28.45274pt
 660 hmarginratio: --
 661 vmarginratio: --
 662 lines: --
 663 heightrounded: --
 664 bindingoffset: 0.0pt
 665 truedimen: --
 666 includehead: --
 667 includefoot: --
 668 includemp: --
 669 driver:
 670 -------------------- Page layout dimensions and switches
 671 \paperwidth  597.50787pt
 672 \paperheight 845.04684pt
 673 \textwidth  540.60239pt
 674 \textheight 788.14136pt
 675 \oddsidemargin  -43.81725pt
 676 \evensidemargin -43.81725pt
 677 \topmargin  -80.81725pt
 678 \headheight 12.0pt
 679 \headsep    25.0pt
 680 \footskip   30.0pt
 681 \marginparwidth 57.81621pt
 682 \marginparsep   10.0pt
 683 \columnsep  10.0pt
 684 \skip\footins  10.8pt plus 4.0pt minus 2.0pt
 685 \hoffset 0.0pt
 686 \voffset 0.0pt
 687 \mag 1000
 688
 689 (1in=72.27pt, 1cm=28.45pt)
 690 -----------------------
 691 LaTeX Info: Redefining \dots on input line 26.
 692 LaTeX Font Info:    Try loading font information for U+msa on input line 27.
 693
 694 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
 695 File: umsa.fd 2002/01/19 v2.2g AMS font definitions
 696 )
 697 LaTeX Font Info:    Try loading font information for U+msb on input line 27.
 698
 699 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
 700 File: umsb.fd 2002/01/19 v2.2g AMS font definitions
 701 )
 702 LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <17.28> not available
 703 (Font)              Font shape `OT1/ptm/b/n' tried instead on input line 34.
 704
 705 Underfull \hbox (badness 10000) in paragraph at lines 46--64
 706
 707  []
 708
 709 LaTeX Font Info:    Try loading font information for U+dsrom on input line 102.
 710
 711 (/usr/share/texmf-texlive/tex/latex/doublestroke/Udsrom.fd
 712 File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions
 713 )
 714 LaTeX Font Info:    Try loading font information for OT1+pcr on input line 172.
 715
 716
 717 (/usr/share/texmf-texlive/tex/latex/psnfss/ot1pcr.fd
 718 File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
 719 ) [1
 720
 721 ]
 722 Overfull \hbox (23.59763pt too wide) in paragraph at lines 195--201
 723 []\OT1/ptm/m/n/12 Q. 14. Soit $\OML/cmm/m/it/12 p$ \OT1/ptm/m/n/12 et $\OML/cmm
 724 /m/it/12 q$\OT1/ptm/m/n/12 , deux vari-ables pro-pos-tion-nelles. L'[]enonc[]e
 725 suiv-ant est-il une tau-tolo-gie? $[] \OMS/cmsy/m/n/12 )
 726  []
 727
 728 [2] [3] [4] [5]
 729 LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <14.4> not available
 730 (Font)              Font shape `OT1/ptm/b/n' tried instead on input line 908.
 731 LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <12> not available
 732 (Font)              Font shape `OT1/ptm/b/n' tried instead on input line 928.
 733 File: graph.eps Graphic file (type eps)
 734  <graph.eps> [6] [7]
 735 Underfull \hbox (badness 10000) in paragraph at lines 994--996
 736
 737  []
 738
 739 \tf@thm=\write3
 740 \openout3 = `partiel.thm'.
 741
 742 [8] (./partiel.aux) )
 743 Here is how much of TeX's memory you used:
 744  3687 strings out of 95087
 745  46636 string characters out of 1183278
 746  101964 words of memory out of 1500000
 747  6773 multiletter control sequences out of 10000+50000
 748  27625 words of font info for 85 fonts, out of 1200000 for 2000
 749  28 hyphenation exceptions out of 8191
 750  27i,10n,31p,224b,301s stack positions out of 5000i,500n,6000p,200000b,5000s
 751
 752 Output written on partiel.dvi (8 pages, 36328 bytes).