This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2003.5.13)  23 JUN 2005 13:30
**wa6
(./wa6.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(./smfart.cls
Document Class: smfart 1998/12/09 v1.0.g Classe LaTeX pour les articles publies
 par la SMF
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen102
)
LaTeX Info: Redefining \MakeUppercase on input line 59.
\linespacing=\dimen103
\normaltopskip=\skip41
\normalparindent=\dimen104

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsfonts/amsfonts.s
ty
Package: amsfonts 2001/10/25 v2.2f
\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.
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip42
For additional information on amsmath, use the `?' option.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
) (/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsmath/amsopn.st
y
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count79
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count80
\leftroot@=\count81
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count82
\DOTSCASE@=\count83
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=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count84
\c@MaxMatrixCols=\count85
\dotsspace@=\muskip10
\c@parentequation=\count86
\dspbrk@lvl=\count87
\tag@help=\toks15
\row@=\count88
\column@=\count89
\maxfields@=\count90
\andhelp@=\toks16
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks17
\multlinegap=\skip43
\multlinetaggap=\skip44
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
\abstractmargin=\dimen113
\@genabs=\toks19
\@genabstokb=\toks20
\abstractbox=\box28
\altabstractbox=\box29
\listisep=\skip45
\c@part=\count91
\c@section=\count92
\c@subsection=\count93
\c@subsubsection=\count94
\c@paragraph=\count95
Class smfart Info: Loading multicol.sty on input line 980.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/tools/multicol.sty
Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
\c@tracingmulticols=\count96
\mult@box=\box30
\multicol@leftmargin=\dimen114
\c@unbalance=\count97
\c@collectmore=\count98
\doublecol@number=\count99
\multicoltolerance=\count100
\multicolpretolerance=\count101
\full@width=\dimen115
\page@free=\dimen116
\premulticols=\dimen117
\postmulticols=\dimen118
\multicolsep=\skip46
\multicolbaselineskip=\skip47
\partial@page=\box31
\last@line=\box32
\mult@rightbox=\box33
\mult@grightbox=\box34
\mult@gfirstbox=\box35
\mult@firstbox=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\@tempa=\box50
\@tempa=\box51
\@tempa=\box52
\@tempa=\box53
\c@columnbadness=\count102
\c@finalcolumnbadness=\count103
\last@try=\dimen119
\multicolovershoot=\dimen120
\multicolundershoot=\dimen121
\mult@nat@firstbox=\box54
\colbreak@box=\box55
)
\c@figure=\count104
\c@table=\count105
\abovecaptionskip=\skip48
\belowcaptionskip=\skip49
\captionindent=\dimen122
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amscls/amsthm.sty
Package: amsthm 2000/10/26 v2.08
\thm@style=\toks21
\thm@bodyfont=\toks22
\thm@headfont=\toks23
\thm@notefont=\toks24
\thm@headpunct=\toks25
\thm@preskip=\skip50
\thm@postskip=\skip51
\thm@headsep=\skip52
\dth@everypar=\toks26
)
LaTeX Font Info:    Try loading font information for U+msa on input line 1258.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/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 1258.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
))
(./bull.sty
Package: bull 1999/09/02 v1.0a Fichier additionnel pour la soumission des artic
les au Bulletin
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsfonts/amssymb.st
y
Package: amssymb 2002/01/22 v2.2d
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/graphics/graphicx.s
ty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks27
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/graphics/graphics.s
ty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 80.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen123
\Gin@req@width=\dimen124
) (/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xy.tex
Bootstrap'ing: catcodes, docmode,
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyrecat.tex
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyidioms.te
x)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen125
\Y@c=\dimen126
\U@c=\dimen127
\D@c=\dimen128
\L@c=\dimen129
\R@c=\dimen130
\Edge@c=\toks28
\X@p=\dimen131
\Y@p=\dimen132
\U@p=\dimen133
\D@p=\dimen134
\L@p=\dimen135
\R@p=\dimen136
\Edge@p=\toks29
\X@origin=\dimen137
\Y@origin=\dimen138
\X@xbase=\dimen139
\Y@xbase=\dimen140
\X@ybase=\dimen141
\Y@ybase=\dimen142
\X@min=\dimen143
\Y@min=\dimen144
\X@max=\dimen145
\Y@max=\dimen146
\lastobjectbox@=\box56
\zerodotbox@=\box57
\almostz@=\dimen147
 direction,
\d@X=\dimen148
\d@Y=\dimen149
\K@=\count106
\KK@=\count107
\Direction=\count108
\K@dXdY=\dimen150
\K@dYdX=\dimen151
\xyread@=\read1
\xywrite@=\write3
\csp@=\count109
\quotPTK@=\dimen152

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks30
\connectobjectbox@@=\box58
 objects,
\styletoks@=\toks31
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count110
\crvpts@=\toks32
\splinebox@=\box59
\splineval@=\dimen153
\splinedepth@=\dimen154
\splinetol@=\dimen155
\splinelength@=\dimen156
 circles,
\L@=\dimen157
 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen158
 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyrotate.te
x  Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.3 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xymatrix.te
x  Xy-pic option: Matrix feature v.3.4
\Row=\count111
\Col=\count112
\queue@=\toks33
\queue@@=\toks34
\qcount@=\count113
\qcount@@=\count114
\matrixsize@=\count115
 loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded)
\c@prop=\count116

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/hyperref/hyperref.s
ty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
\@linkdim=\dimen159
\Hy@linkcounter=\count117
\Hy@pagecounter=\count118

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing OFF on input line 1812.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/misc/url.sty
\Urlmuskip=\muskip11
Package: url 1999/03/28  ver 1.5x  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count119
\Field@Width=\dimen160
\Fld@charsize=\dimen161
\Choice@toks=\toks35
\Field@toks=\toks36
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing OFF on input line 2528.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count120
\c@Hfootnote=\count121
)
*hyperref using default driver hdvips*

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/hyperref/hdvips.def
File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/hyperref/pdfmark.de
f
File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
\pdf@docset=\toks37
\pdf@box=\box60
\pdf@toks=\toks38
\pdf@defaulttoks=\toks39
\Fld@listcount=\count122
\@outlinefile=\write4
)) (./wa6.aux)
\openout1 = `wa6.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 115.
LaTeX Font Info:    ... okay on input line 115.
Package hyperref Info: Link coloring OFF on input line 115.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/hyperref/nameref.st
y
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count123
)
LaTeX Info: Redefining \ref on input line 115.
LaTeX Info: Redefining \pageref on input line 115.
 (./wa6.out) (./wa6.out)
\openout4 = `wa6.out'.

 (./wa6.toc) [1

] [2] [3]
LaTeX Font Info:    Try loading font information for U+euf on input line 344.

(/divsite/opt.CORE/teTeX-2.0.2/sunos5/share/texmf/tex/latex/amsfonts/ueuf.fd
File: ueuf.fd 2002/01/19 v2.2g AMS font definitions
)
<xymatrix 2x2 168> [4]
Overfull \hbox (2.82112pt too wide) in paragraph at lines 397--400
[] [] \OT1/cmr/m/it/12 Sup-pose $\OML/cmm/m/it/12 X$ \OT1/cmr/m/it/12 is a smoo
th proper va-ri-ety over $\OML/cmm/m/it/12 F$\OT1/cmr/m/it/12 . There
 []

[5] [6]
File: weakfig1a.eps Graphic file (type eps)
 <weakfig1a.eps> [7] [8] [9] [10]
File: weakfig3a.eps Graphic file (type eps)
 <weakfig3a.eps>

LaTeX Warning: `h' float specifier changed to `ht'.

[11] [12] [13] [14] <xymatrix 5x5 782>
Underfull \vbox (badness 10000) has occurred while \output is active []

 [15]
[16] [17]
Overfull \hbox (7.64703pt too wide) in paragraph at lines 1156--1158
[]\OT1/cmr/m/n/12 Here are the de-tails of the con-struc-tion of the comb of Le
mma [][][][].
 []

[18] [19]
File: weakfig2a.eps Graphic file (type eps)
 <weakfig2a.eps>
Overfull \hbox (16.97777pt too wide) in paragraph at lines 1269--1272
[] \OT1/cmr/m/it/12 The con-di-tion on nor-mal bun-dles stip-u-lated in Lemma [
][][][]
 []

[20]
Overfull \hbox (14.03978pt too wide) detected at line 1308
\OMS/cmsy/m/n/12 N[] 
 O[] \OT1/cmr/m/n/12 = \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E[
]\OT1/cmr/m/n/12 ) \OMS/cmsy/m/n/12 
 O[] ' []
 []

[21] [22] (./wa6.bbl [23]
Underfull \hbox (badness 1178) in paragraph at lines 47--52
[]\OT1/cmr/m/sc/12 J. L. Colliot-Th[]el[]ene \OT1/cmr/m/n/12 and \OT1/cmr/m/sc/
12 P. Gille \OT1/cmr/m/n/12 -- ``Re-mar-ques sur
 []

)
\tf@toc=\write5
\openout5 = `wa6.toc'.

 [24] (./wa6.aux) ) 
Here is how much of TeX's memory you used:
 5773 strings out of 95847
 72763 string characters out of 1194911
 177469 words of memory out of 1000001
 8614 multiletter control sequences out of 10000+50000
 15614 words of font info for 62 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 32i,14n,40p,281b,530s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on wa6.dvi (24 pages, 115180 bytes).