-This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13) 15 NOV 2013 08:37
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13) 21 MAR 2014 10:57
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
been already used, duplicate ignored
<to be read again>
\relax
-l.50 ...sembles de nombres entiers}{31}{chapter.5}
+l.49 ...ine {II}Nombres premiers}{28}{section.5.2}
[1
])
Chapitre 2.
(./logique/Propositions13.tex [11
-]
-Overfull \hbox (0.7556pt too wide) in paragraph at lines 220--222
-[]\T1/ptm/m/n/10.95 Même re-marque que pour l'im-pli-ca-tion lo-gique : l'équi-
-va-lence lo-gique de deux pro-po-si-tions fausses
- []
-
-[12]
-LaTeX Font Info: Try loading font information for TS1+ptm on input line 309.
-
- (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
-File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
-) [13]
-Underfull \hbox (badness 2717) in paragraph at lines 489--491
+] [12]
+Underfull \hbox (badness 2717) in paragraph at lines 502--504
[]\T1/ptm/m/n/10.95 Les conven-tions de prio-rité des
[]
-[14] [15]
+[13] [14]
Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
-ut line 857.
- [16] [17] [18]
-Overfull \hbox (20.57855pt too wide) in paragraph at lines 1352--1361
+ut line 875.
+ [15] [16]
+Overfull \hbox (20.57855pt too wide) in paragraph at lines 1313--1322
\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95
g$ \T1/ptm/m/n/10.95 sont vraies, $\OML/lmm/m/it/10.95 G[] \OMS/lmsy/m/n/10.95
) \OML/lmm/m/it/10.95 H$ \T1/ptm/m/n/10.95 est vraie. Re-gar-dons si $\OML/lmm/
/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 g$
[]
-[19] [20]) [21] [22
+[17]) [18] [19
]
Chapitre 3.
-(./ensembles/IntroAuxEnsembles13.tex [23
-
-] [24]
-Overfull \hbox (37.774pt too wide) in paragraph at lines 186--187
-[]\T1/ptm/m/it/10.95 Faire la réunion des en-sembles $\OML/lmm/m/it/10.95 A$ \T
-1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 B$\T1/ptm/m/it/10.95 , quand $\OML/lmm
-/m/it/10.95 A \OT1/lmr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \
-OMS/lmsy/m/n/10.95 2 \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95
- x[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/it/10.95 , et $\OML/lmm/m/it/10.95 B \OT1/l
-mr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \OMS/lmsy/m/n/10.95 2
- \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95 x[]\OMS/lmsy/m/n/10
-.95 g$\T1/ptm/m/it/10.95 .
- []
+(./ensembles/IntroAuxEnsembles13.tex [20
-[25]
-Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
+] [21] [22]
+Overfull \hbox (2.81169pt too wide) in paragraph at lines 304--305
[]\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-
[]
-) [26]
+) [23]
Chapitre 4.
-(./ensembles/relbin13.tex [27
+(./ensembles/relbin13.tex [24
-] [28]
+] [25]
Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
ne 301.
lmm/m/it/10.95 :$
[]
-) [29] [30
+) [26] [27
]
Chapitre 5.
10.95 a[]b[]c[] []$\T1/ptm/m/n/10.95 ,
[]
-[31
+[28
]
LaTeX Font Info: External font `lmex10' loaded for size
LaTeX Font Info: Font shape `T1/pcr/bx/n' in size <10.95> not available
(Font) Font shape `T1/pcr/b/n' tried instead on input line 293.
-[32] [33] [34] [35]
+[29] [30] [31] [32]
+LaTeX Font Info: Try loading font information for TS1+ptm on input line 702.
+
+ (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
+File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
+)
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 710.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 710.
-[36]
+[33]
Underfull \hbox (badness 10000) in paragraph at lines 842--843
[]
-[37]) [38] [39
+[34]) [35] [36
]
\openout2 = `PPN.aux'.
(./PPN.tex
Chapitre 6.
-) [40
+) [37
-]
-No file main13.ind.
-(./main13.bbl) [41
+] (./main13.ind [38
+
+
+]) (./main13.bbl) [39
]
(./Bibliographie.tex
LaTeX Font Info: Font shape `T1/ptm/bx/it' in size <10.95> not available
(Font) Font shape `T1/ptm/b/it' tried instead on input line 5.
-) [42
+) [40
]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
- (./main13.aux
-(./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
+
+(./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
Package rerunfilecheck Info: File `main13.out' has not changed.
-(rerunfilecheck) Checksum: 10B0C3771DF7ECC4CEE9D23226FE986C;3951.
+(rerunfilecheck) Checksum: 641176623C294C8C81EC22757596E698;3871.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
)
Here is how much of TeX's memory you used:
- 12395 strings out of 495002
- 167172 string characters out of 6180261
- 283229 words of memory out of 5000000
- 14738 multiletter control sequences out of 15000+600000
- 109186 words of font info for 111 fonts, out of 8000000 for 9000
+ 12346 strings out of 495002
+ 166749 string characters out of 6180261
+ 281698 words of memory out of 5000000
+ 14728 multiletter control sequences out of 15000+600000
+ 109807 words of font info for 113 fonts, out of 8000000 for 9000
14 hyphenation exceptions out of 8191
30i,13n,32p,479b,676s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/
fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex
-.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts
-/enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
+.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fonts/enc
+/dvips/lm/lm-mathsy.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu
blic/lm/lmmi12.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/shar
e/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share/texmf/fonts/type1/public/lm
/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/f
onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pf
-b></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/typ
-e1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
-ts/symbols/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
-s/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucr
-b8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr
-/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
-texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texlive/texmf-dist/fon
-ts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/ti
-mes/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb
->
-Output written on main13.pdf (43 pages, 369126 bytes).
+b></usr/share/texmf/fonts/type1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-d
+ist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-di
+st/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dis
+t/fonts/type1/urw/courier/ucrb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1
+/urw/courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/ut
+mb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr
+/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/
+texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/font
+s/type1/urw/times/utmri8a.pfb>
+Output written on main13.pdf (41 pages, 361094 bytes).
PDF statistics:
- 1150 PDF objects out of 1200 (max. 8388607)
- 1073 compressed objects within 11 object streams
- 566 named destinations out of 1000 (max. 500000)
- 425 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 1132 PDF objects out of 1200 (max. 8388607)
+ 1058 compressed objects within 11 object streams
+ 524 named destinations out of 1000 (max. 500000)
+ 417 words of extra memory for PDF output out of 10000 (max. 10000000)