-This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28) 17 OCT 2013 13:42
+This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28) 17 OCT 2013 21:26
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
-**main13
+**main13.tex
(./main13.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
\relax
l.27 \begin{Rem}
pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.36 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
me{Def.2}) has been already used, duplicate ignored
<to be read again>
\relax
\relax
l.71 \begin{Def}
[Transitivité]pdfTeX warning (ext4): destination with the same
- identifier (name{Exo.3}) has been already used, duplicate ignored
+ identifier (name{Exo.2}) has been already used, duplicate ignored
<to be read again>
\relax
l.81 \begin{Exo}
- [30
-
-]pdfTeX warning (ext4): destination with the same identifier (name{Exo.4}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.93 \begin{Exo}
pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.5}) has been already used, duplicate ignored
+me{Exo.3}) has been already used, duplicate ignored
<to be read again>
\relax
-l.104 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.5}) has been already used, duplicate ignored
+l.93 \begin{Exo}
+ [30
+
+]pdfTeX warning (ext4): destination with the same identifier (name{Def.5}) has
+been already used, duplicate ignored
<to be read again>
\relax
l.115 \begin{Def}
[Relation d'ordre]pdfTeX warning (ext4): destination with the
-same identifier (name{Exo.6}) has been already used, duplicate ignored
+same identifier (name{Exo.4}) has been already used, duplicate ignored
<to be read again>
\relax
l.120 \begin{Ex}
pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.7}) has been already used, duplicate ignored
+me{Exo.5}) has been already used, duplicate ignored
<to be read again>
\relax
l.124 \begin{Ex}
[Relation de divisibilité]pdfTeX warning (ext4): destination w
-ith the same identifier (name{Exo.8}) has been already used, duplicate ignored
+ith the same identifier (name{Exo.6}) has been already used, duplicate ignored
<to be read again>
\relax
l.145 \begin{Exo}
pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.9}) has been already used, duplicate ignored
+ame{Exo.7}) has been already used, duplicate ignored
<to be read again>
\relax
l.156 \begin{Exo}
ed
<to be read again>
\relax
-l.184 \begin{Def}
- [Relation symétrique] [31]pdfTeX warning (ext4): destination
-with the same identifier (name{Def.7}) has been already used, duplicate ignored
-
+l.185 \begin{Def}
+ [Relation symétrique]pdfTeX warning (ext4): destination with
+the same identifier (name{Def.7}) has been already used, duplicate ignored
<to be read again>
\relax
l.193 \begin{Def}
lorsqu'elle est réflex-
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
-been already used, duplicate ignored
+pdfTeX warning (ext4): destination with the same identifier (name{Exo.8}) has b
+een already used, duplicate ignored
<to be read again>
\relax
l.199 \begin{Ex}
pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.11}) has been already used, duplicate ignored
+me{Exo.9}) has been already used, duplicate ignored
<to be read again>
\relax
l.205 \begin{Ex}
- [Relation de congruence modulo $n$ dans $\Z$]pdfTeX warning (ex
-t4): destination with the same identifier (name{Exo.12}) has been already used,
- duplicate ignored
+ [Relation de congruence modulo $n$ dans $\Z$] [31]pdfTeX warnin
+g (ext4): destination with the same identifier (name{Exo.10}) has been already
+used, duplicate ignored
<to be read again>
\relax
l.225 \begin{Exo}
\relax
l.250 \begin{Notation}
pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.13}) has been already used, duplicate ignored
+er (name{Exo.11}) has been already used, duplicate ignored
<to be read again>
\relax
l.255 \begin{Exo}
pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.14}) has been already used, duplicate ignored
+ame{Exo.12}) has been already used, duplicate ignored
<to be read again>
\relax
l.264 \begin{Exo}
<to be read again>
\relax
l.294 \begin{Th}
- [32]pdfTeX warning (ext4): destination with the same identifie
-r (name{Rem.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.298 \begin{Rem}
-
+
Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
-ne 304.
+ne 301.
pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
en already used, duplicate ignored
<to be read again>
\relax
-l.321 \begin{Th}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.15}) has been already used, duplicate ignored
+l.318 \begin{Th}
+ [32]pdfTeX warning (ext4): destination with the same identifie
+r (name{Exo.13}) has been already used, duplicate ignored
<to be read again>
\relax
-l.331 \begin{Ex}
+l.328 \begin{Ex}
pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.16}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.346 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.17}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.358 \begin{Exo}
- [Une relation d'équivalence]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Exo.18}) has been already used, duplicate igno
-red
+me{Exo.14}) has been already used, duplicate ignored
<to be read again>
\relax
-l.381 \begin{Exo}
+l.343 \begin{Exo}
pdfTeX warning (ext4): destination with the same identifier (n
-ame{Notation.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.394 \begin{Notation}
- pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.19}) has been already used, duplicate ignored
+ame{Exo.15}) has been already used, duplicate ignored
<to be read again>
\relax
-l.406 \begin{Ex}
- [Congruence modulo 4] [33]) [34] [35
+l.355 \begin{Exo}
+ ) [33] [34
]
\openout2 = `PPN.aux'.
(./PPN.tex
Chapitre 5.
-) [36
+) [35
]
No file main13.ind.
-(./main13.bbl) [37
+(./main13.bbl) [36
]
[]\T1/ptm/m/n/10.95 ] : Pour un pub-lic aver-tis, souhai-
[]
-) [38
+) [37
]
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: BDAE9B6D6DE61206219E655EA40146AA;3248.
+(rerunfilecheck) Checksum: B510A10B4C2809C1121D155E1D0BF426;3178.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
)
Here is how much of TeX's memory you used:
- 11796 strings out of 495059
- 159536 string characters out of 3182030
+ 11789 strings out of 495059
+ 159454 string characters out of 3182030
286421 words of memory out of 3000000
- 14358 multiletter control sequences out of 15000+200000
+ 14355 multiletter control sequences out of 15000+200000
97094 words of font info for 97 fonts, out of 3000000 for 9000
14 hyphenation exceptions out of 8191
- 30i,13n,32p,465b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
+ 30i,13n,32p,469b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.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-mathit.enc}{/usr/share/texmf/fonts
8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on main13.pdf (39 pages, 324131 bytes).
+Output written on main13.pdf (38 pages, 320746 bytes).
PDF statistics:
- 804 PDF objects out of 1000 (max. 8388607)
- 736 compressed objects within 8 object streams
- 331 named destinations out of 1000 (max. 500000)
- 345 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 792 PDF objects out of 1000 (max. 8388607)
+ 725 compressed objects within 8 object streams
+ 327 named destinations out of 1000 (max. 500000)
+ 337 words of extra memory for PDF output out of 10000 (max. 10000000)