]> AND Private Git Repository - cours-maths-dis.git/blobdiff - main13.log
Logo AND Algorithmique Numérique Distribuée
Private GIT Repository
projects / cours-maths-dis.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
typo ensemble13.tex
[cours-maths-dis.git] / main13.log
diff --git a/main13.log b/main13.log
index 7d9a72e6568995b45ca14c4a44fe65c840f28ba7..da137faf1ca9c2427ebd5705b814d0b8a4cef657 100644 (file)
--- a/main13.log
+++ b/main13.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13)  24 JAN 2014 11:19
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13)  12 FEB 2014 09:14
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -1146,7 +1146,7 @@ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has
 been already used, duplicate ignored
 <to be read again> 
                    \relax 
 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
 
 ])
                                                    [1
 
 ])
@@ -1209,27 +1209,16 @@ atres
 Chapitre 2.
 (./logique/Propositions13.tex [11
 
 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
  []
 
 []\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
 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/
 \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/
@@ -1237,13 +1226,13 @@ m/it/10.95 H$ \T1/ptm/m/n/10.95 est une cons
 /10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 g$
  []
 
 /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.
 
 ]
 Chapitre 3.
-(./ensembles/IntroAuxEnsembles13.tex [23
+(./ensembles/IntroAuxEnsembles13.tex [20
 
 
-] [24]
+] [21]
 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
 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
@@ -1255,16 +1244,16 @@ 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
 .95 g$\T1/ptm/m/it/10.95 . 
  []
 
 .95 g$\T1/ptm/m/it/10.95 . 
  []
 
-[25]
+[22]
 Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
 []\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-
  []
 
 Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
 []\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-
  []
 
-) [26]
+) [23]
 Chapitre 4.
 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.
 
 Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
 ne 301.
 
@@ -1294,7 +1283,7 @@ n/10.95 (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OMS/lmsy/m/n/10.95 g\OML/
 lmm/m/it/10.95 :$
  []
 
 lmm/m/it/10.95 :$
  []
 
-) [29] [30
+) [26] [27
 
 ]
 Chapitre 5.
 
 ]
 Chapitre 5.
@@ -1305,7 +1294,7 @@ Overfull \hbox (11.42195pt too wide) in paragraph at lines 134--134
 10.95 a[]b[]c[] []$\T1/ptm/m/n/10.95 ,
  []
 
 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:    External font `lmex10' loaded for size
@@ -1321,7 +1310,12 @@ Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
 
 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.
 
 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.
@@ -1330,24 +1324,24 @@ Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
 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
 
  []
 
 Underfull \hbox (badness 10000) in paragraph at lines 842--843
 
  []
 
-[37]) [38] [39
+[34]) [35] [36
 
 ]
 \openout2 = `PPN.aux'.
 
  (./PPN.tex
 Chapitre 6.
 
 ]
 \openout2 = `PPN.aux'.
 
  (./PPN.tex
 Chapitre 6.
-) [40
+) [37
 
 
 ]
 No file main13.ind.
 
 
 ]
 No file main13.ind.
-(./main13.bbl) [41
+(./main13.bbl) [38
 
 
 ]
 
 
 ]
@@ -1356,7 +1350,7 @@ No file main13.ind.
  (./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.
  (./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
+) [39
 
 
 ]
 
 
 ]
@@ -1370,41 +1364,40 @@ Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
 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.
 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: 549A97A69E00F57B1ED5A217AD3094DF;3888.
 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
  ) 
 Here is how much of TeX's memory you used:
 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
  ) 
 Here is how much of TeX's memory you used:
- 12398 strings out of 495002
- 167203 string characters out of 6180261
- 283229 words of memory out of 5000000
- 14740 multiletter control sequences out of 15000+600000
+ 12343 strings out of 495002
+ 166720 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
  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
 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, 370852 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 (40 pages, 358833 bytes).
 PDF statistics:
 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)
+ 1076 PDF objects out of 1200 (max. 8388607)
+ 1003 compressed objects within 11 object streams
+ 523 named destinations out of 1000 (max. 500000)
+ 417 words of extra memory for PDF output out of 10000 (max. 10000000)
 
 
tout le cours de maths discretes