-This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28) 3 OCT 2013 12:12
+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
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
-**main13.tex
+**main13
(./main13.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
been already used, duplicate ignored
<to be read again>
\relax
-l.44 \contentsline {chapter}{Index}{32}{chapter.4}
+l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1}
[1
])
\relax
l.300 \begin{Exo}
[Fonction caractéristique des parties d'un ensemble])
-[29] [30
+[29]
+Chapitre 4.
+(./ensembles/relbin13.texpdfTeX warning (ext4): destination with the same ident
+ifier (name{Def.1}) has been already used, duplicate ignored
+<to be read again>
+ \relax
+l.6 \begin{Def}
+ [Relation binaire]pdfTeX warning (ext4): destination with the sa
+me identifier (name{Exo.1}) has been already used, duplicate ignored
+<to be read again>
+ \relax
+l.15 \begin{Exo}
+ pdfTeX warning (ext4): destination with the same identifier (na
+me{Rem.1}) has been already used, duplicate ignored
+<to be read again>
+ \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
+l.54 \begin{Def}
+ [Réflexivité]pdfTeX warning (ext4): destination with the same
+ identifier (name{Def.3}) has been already used, duplicate ignored
+<to be read again>
+ \relax
+l.61 \begin{Def}
+ [Antisymétrie]pdfTeX warning (ext4): destination with the same
+ identifier (name{Def.4}) has been already used, duplicate ignored
+<to be read again>
+ \relax
+l.71 \begin{Def}
+ [Transitivité]pdfTeX warning (ext4): destination with the same
+ identifier (name{Exo.3}) 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
+<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
+<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
+<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
+<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
+<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
+<to be read again>
+ \relax
+l.156 \begin{Exo}
+ [Diagrammes de transitivité]pdfTeX warning (ext4): destinatio
+n with the same identifier (name{Def.6}) has been already used, duplicate ignor
+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
+
+<to be read again>
+ \relax
+l.193 \begin{Def}
+ [Relation d'équivalence]
+Overfull \hbox (1.20601pt too wide) in paragraph at lines 194--196
+[]$\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/sl/10.95 est une re-la-tion d'équiv-a-lence
+ lorsqu'elle est réflex-
+ []
+
+pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
+been 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
+<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
+<to be read again>
+ \relax
+l.225 \begin{Exo}
+ pdfTeX warning (ext4): destination with the same identifier (n
+ame{Notation.1}) has been already used, duplicate ignored
+<to be read again>
+ \relax
+l.250 \begin{Notation}
+ pdfTeX warning (ext4): destination with the same identifi
+er (name{Exo.13}) 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
+<to be read again>
+ \relax
+l.264 \begin{Exo}
+ pdfTeX warning (ext4): destination with the same identifier (n
+ame{Th.1}) has been already used, duplicate ignored
+<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.
+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
+<to be read again>
+ \relax
+l.331 \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
+<to be read again>
+ \relax
+l.381 \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
+<to be read again>
+ \relax
+l.406 \begin{Ex}
+ [Congruence modulo 4] [33]) [34] [35
]
\openout2 = `PPN.aux'.
(./PPN.tex
-Chapitre 4.
-) [31
+Chapitre 5.
+) [36
]
No file main13.ind.
-(./main13.bbl) [32
+(./main13.bbl) [37
]
[]\T1/ptm/m/n/10.95 ] : Pour un pub-lic aver-tis, souhai-
[]
-) [33
+) [38
]
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: FE2BA6ABEDAA2441DE165780E5526158;2663.
+(rerunfilecheck) Checksum: BDAE9B6D6DE61206219E655EA40146AA;3248.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
)
Here is how much of TeX's memory you used:
- 11735 strings out of 495059
- 158886 string characters out of 3182030
- 286404 words of memory out of 3000000
- 14335 multiletter control sequences out of 15000+200000
+ 11796 strings out of 495059
+ 159536 string characters out of 3182030
+ 286421 words of memory out of 3000000
+ 14358 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,469b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
+ 30i,13n,32p,465b,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 (34 pages, 301042 bytes).
+Output written on main13.pdf (39 pages, 324131 bytes).
PDF statistics:
- 711 PDF objects out of 1000 (max. 8388607)
- 649 compressed objects within 7 object streams
- 296 named destinations out of 1000 (max. 500000)
- 281 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 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)
