This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2007.8.30)  14 NOV 2007 16:59
entering extended mode
**\nonstopmode\input{sem8c.tex}
(./sem8c.tex (/usr/share/texmf-tetex/tex/latex/base/article.cls
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-tetex/tex/latex/base/size11.clo
File: size11.clo 2004/02/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf-tetex/tex/generic/babel/babel.sty
Package: babel 2004/11/20 v3.8d The Babel package

(/usr/share/texmf-tetex/tex/generic/babel/frenchb.ldf
Language: french 2004/04/02 v1.6f French support from the babel system

(/usr/share/texmf-tetex/tex/generic/babel/babel.def
File: babel.def 2004/11/20 v3.8d Babel common definitions
\babel@savecnt=\count87
\U@D=\dimen103
)
Package babel Info: Making : an active character on input line 219.
Package babel Info: Making ; an active character on input line 220.
Package babel Info: Making ! an active character on input line 221.
Package babel Info: Making ? an active character on input line 222.
\parindentFFN=\dimen104
\std@mcc=\count88
\dec@mcc=\count89

*************************************
* Local config file frenchb.cfg used
*
(/usr/share/texmf-tetex/tex/generic/babel/frenchb.cfg)))
(/usr/share/texmf-tetex/tex/latex/base/fontenc.sty
Package: fontenc 2004/02/22 v1.99f Standard LaTeX package

(/usr/share/texmf-tetex/tex/latex/base/t1enc.def
File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
))
(/usr/share/texmf-tetex/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks14
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
)
(/usr/share/texmf-tetex/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d
)
(/usr/share/texmf-tetex/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-tetex/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf-tetex/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks15
\ex@=\dimen105
))
(/usr/share/texmf-tetex/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen106
)
(/usr/share/texmf-tetex/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count90
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count91
\leftroot@=\count92
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count93
\DOTSCASE@=\count94
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen107
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count95
\c@MaxMatrixCols=\count96
\dotsspace@=\muskip10
\c@parentequation=\count97
\dspbrk@lvl=\count98
\tag@help=\toks16
\row@=\count99
\column@=\count100
\maxfields@=\count101
\andhelp@=\toks17
\eqnshift@=\dimen108
\alignsep@=\dimen109
\tagshift@=\dimen110
\tagwidth@=\dimen111
\totwidth@=\dimen112
\lineht@=\dimen113
\@envbody=\toks18
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
\c@exo=\count102

No file sem8c.aux.
\openout1 = `sem8c.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 43.
LaTeX Font Info:    ... okay on input line 43.
LaTeX Info: Redefining \dots on input line 43.
LaTeX Font Info:    Try loading font information for U+msa on input line 48.
(/usr/share/texmf-tetex/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 48.

(/usr/share/texmf-tetex/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
Overfull \vbox (9.68121pt too high) has occurred while \output is active []


[1

] (./sem8c.aux) ) 
Here is how much of TeX's memory you used:
 1876 strings out of 94501
 20304 string characters out of 1175794
 71680 words of memory out of 1000000
 5069 multiletter control sequences out of 10000+50000
 9849 words of font info for 34 fonts, out of 500000 for 2000
 580 hyphenation exceptions out of 8191
 28i,9n,24p,321b,134s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on sem8c.dvi (1 page, 3956 bytes).