summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/smflatex/smf-fdoc.tex
blob: 25b5e85ae41b7cb427c31cfba6c76520614824ce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
\documentclass[11pt,francais]{smfart}

\usepackage[T1]{fontenc}
\usepackage[english,francais]{babel}

\usepackage{amssymb,url,xspace,smfthm}

\def\meta#1{$\langle${\it #1}$\rangle$}
\newcommand{\myast}{($\star$)\ }
\makeatletter
    \def\ps@copyright{\ps@empty
    \def\@oddfoot{\hfil\small\copyright 1997, \SMF}}
\makeatother

\newcommand{\SmF}{Soci\'et\'e ma\-th\'e\-ma\-ti\-que de France}
\newcommand{\SMF}{Soci\'et\'e Ma\-th\'e\-Ma\-ti\-que de France}
\newcommand{\BibTeX}{{\scshape Bib}\kern-.08em\TeX}
\newcommand{\T}{\S\kern .15em\relax }
\newcommand{\AMS}{$\mathcal{A}$\kern-.1667em\lower.5ex\hbox
        {$\mathcal{M}$}\kern-.125em$\mathcal{S}$}
\newcommand{\resp}{\emph{resp}.\xspace}

\tolerance 400
\pretolerance 200


\title{Recommandations aux auteurs}
\date {Version 5, octobre 2000}
\author{Soci\'et\'e Ma\-th\'e\-ma\-ti\-que de France}

\address{Institut Henri Poincar\'e\\
11 rue Pierre et Marie Curie, F-75231 Paris cedex 05}
\email{revues@smf.ens.fr}
\urladdr{http://smf.emath.fr/}
\keywords{\LaTeXe, SMF, composition, format}

\begin{document}
\def\smfbyname{}

\begin{abstract}
Les classes \texttt{smfbook} et \texttt{smfart} sont destin\'ees \`a la composition en \LaTeX\ des monographies et articles \'edit\'es par la \SmF. Elles n\'ecessitent \LaTeXe\ ainsi que les macros \LaTeX\ de l'AMS.\par
Ce document en pr\'esente l'utilisation.
\end{abstract}

\begin{altabstract}
The classes \texttt{smfbook} and \texttt{smfart} are intended to help the preparation in \LaTeX\ of the monographs and articles to be published by the \SmF. They require \LaTeXe\ and the \AMS-\LaTeX\ packages.\par
This paper exhibits the main features of these classes.
\end{altabstract}
\maketitle

\tableofcontents

\section{Introduction}
La \SmF\ met \`a la disposition des auteurs de ses publications un format
\LaTeXe\ (\texttt{smfbook} pour les monographies et \texttt{smfart} pour
les articles). Elle invite les auteurs \`a soumettre leurs articles dans ce
format, ou, \`a d\'efaut, au format {\AMS-\LaTeX} (\texttt{amsbook} ou
\texttt{amsart}) d\'evelopp\'e par l'American Mathematical Society (voir le
\T\ref{sec:compatible} \`a propos des compatibilit\'es entre les deux).

\smallskip
Ce texte contient un mode d'emploi du format ainsi que certaines r\`egles
d'hygi\`ene typographique dont les auteurs voudront bien prendre
connaissance avant de taper ou transformer leur fichier \LaTeX: envoyer un
fichier au format SMF en suivant ces quelques r\`egles \'el\'ementaires
minimisera l'introduction d'erreurs au cours de la composition ainsi que le
temps pass\'e aux fastidieuses relectures multiples qui en d\'ecoulent, et
diminuera de ce fait les d\'elais de parution (de m\^eme que le co\^ut de
publication).

\section{Hygi\`ene typographique: quelques r\`egles}

Le fichier envoy\'e par l'auteur est mis au format de la revue dans
laquelle il doit para\^\i tre par le secr\'etariat de r\'edaction de la
\SmF. Il est donc {\em important} que la composition \LaTeXe\ soit le plus
standard possible, notamment par l'utilisation {\em syst\'ematique} des
environnements d'\'enonc\'e et de d\'emonstration (voir le
\T\ref{sec:presentationthm}), par celle de \verb|\label| et
\verb|\ref| pour les r\'ef\'erences aux num\'eros correspondants et par celle de
\verb|\cite| pour les citations bibliographiques. De plus, les macros \og maison\fg\ doivent \^etre \'ecrites clairement dans le pr\'eambule. {\em Aucune} macro personnelle ne doit \^etre utilis\'ee dans le titre, l'adresse, les r\'esum\'es (fran\c cais et anglais), mots-cl\'es.

\Subsection{Les espacements horizontaux et verticaux}

\begin{itemize}
\item
Supprimer tous les espacements du type \verb|\,| ou \verb|\;| ou \verb|\!|
{\em devant ou derri\`ere} les symboles math\'ematiques, les parenth\`eses,
les signes de ponctuation, etc. Les espacements sont g\'er\'es par \TeX,
l'auteur n'en impose \emph{aucun}.
\item
En revanche, l'auteur peut mettre des blancs ins\'ecables aux endroits ou il ne
d\'esire pas de coupure, par exemple
\verb|Tintin~\cite{RG3}| au lieu de \verb|Tintin \cite{RG3}|.

\item
Il vaut mieux ne mettre {\em aucun} espace ou retour chariot \emph{avant}
un signe de ponctuation. Par contre on met toujours un blanc ou un retour
chariot \emph{apr\`es}.

\item
Ne mettre aucun espace ni \emph{avant} une parenth\`ese ou un crochet fermant,
ni \emph{apr\`es} une parenth\`ese ou un crochet ouvrant.

\item
Ne mettre aucune coupure de ligne (\verb|\linebreak| ou \verb|\\|)
dans les phrases, aucune coupure de page
(\verb|\pagebreak|, \verb|\newpage| ou autres).

\item
\'Eviter d'introduire des \verb|\hskip|, \verb|\hspace|
ou \verb|\vskip|, \verb|\vspace|.
\end{itemize}


\Subsection{La ponctuation}

\begin{itemize}
\item
Ne mettre de ponctuation finale dans \emph{aucun} titre:
\begin{itemize}
\item
\verb|\section{Introduction}| et non \verb|\section{Introduction.}|
\item
\verb|\begin{remarque}| et non \verb|\begin{remarque.}|
\item etc.
\end{itemize}

\item
Les signes de ponctuation du texte en ligne sont \`a l'\emph{ext\'erieur} du mode math\'ematique.
On \'ecrit par exemple:

\og\dots\ \verb|le seuil $\eta_0$:  $$ A=B.$$|\fg

\noindent et non

\og\dots\ \verb|le seuil $\eta_0:$ $$A=B.$$|\fg

\item
En ce qui concerne les points de suspension:
\begin{itemize}
\item
remplacer \verb|...| par \verb|\ldots\ | dans les phrases (en anglais);
\item
remplacer \verb|...| ou \verb|\ldots| par \verb|\cdots|
entre des op\'erateurs (comme dans, par exemple,
$A<\cdots<B$, $A+\cdots+B$ ou $A=\cdots=B$)
et par \verb|\dots| ou \verb|\ldots| comme signe de ponctuation
math\'ematique (par exemple $i=1, \dots ,n$);
\item
supprimer \verb|...| apr\`es \og etc.\fg.
\end{itemize}
\item
Remplacer les points \verb|.| de multiplication par des \verb|\cdot|;
remplacer aussi les formules du type $h(.)$ ou $(.,.)$ par $h(\cdot)$ ou
$(\cdot,\cdot)$.

\item
Remplacer les tirets de c\'esure explicite (comme \verb|pr\'esenta-tion|)
par le tiret de c\'esure optionnel \verb|\-|
(comme dans \verb|pr\'esenta\-tion|).
Bien entendu, on garde les tirets pour les mots compos\'es.
\end{itemize}

\subsection{Les titres}

Tous les titres d\'ebutent par une majuscule et sont \'ecrits
en {\em minuscules}.
Si certains titres doivent appara\^\i tre en majuscules,
c'est \LaTeX\ qui se chargera de le faire.
Pas de ponctuation finale dans les titres (voir ci-dessus).

\subsection{La langue}

Il faut respecter les r\`egles propres \`a chaque langue,
notamment en ce qui concerne l'\'ecriture des nombres:
en fran\c cais, on \'ecrit \og deux nombres \'egaux \`a $2$\fg\ et
dans le fichier on tape

\verb|deux nombres \'egaux \`a $2$|.

\noindent
D'autre part, on rappelle que les majuscules fran\c caises s'accentuent
tout autant que les minuscules.

\Subsection{La num\'erotation}

\begin{itemize}
\item
Utiliser au maximum la num\'erotation automatique et les commandes
\verb|\label|, \verb|\ref|. \`A cette fin, garder {\em un type de
num\'erotation homog\`ene}. Ne pas \og forcer\fg\ les commandes de type
\verb|\section| ou \verb|\begin{theoreme}| pour qu'elles fassent des choses
compliqu\'ees. Il faut se rappeler que la mise en page finale est du
ressort du secr\'etariat de r\'edaction de la \SmF: autant lui faciliter le
travail.

\item
Utiliser une logique simple pour les r\'ef\'erences internes:
\begin{itemize}
\item
\verb|\label{sec:1}| pour la premi\`ere section,

\item
\verb|\label{th:invloc}| pour le th\'eor\`eme d'inversion locale,

\item
\verb|\label{rem:stupide}| pour une remarque int\'eressante.
\end{itemize}

\item
Ne pas num\'eroter les \'equations auxquelles
il n'est pas fait r\'ef\'erence dans le texte.
\end{itemize}

\Subsection{Le mode math\'ematique}

\begin{itemize}
\item
Ne pas mettre entre \verb|$ $| des parties de texte pour changer leur style.
Le mode math\'ematique sert uniquement \`a \'ecrire des
formules math\'emati\-ques.

\item
Les nombres \'ecrits en chiffres doivent \^etre entr\'es
en mode math\'ematique, m\^eme si ceci ne semble pas toujours n\'ecessaire.

\item
Ne pas ajouter d'espacement dans les formules.
Si n\'ecessaire, le secr\'eta\-riat de r\'edaction s'en chargera.

\item
Utiliser les symboles math\'ematiques \TeX\ ou \LaTeX\ \`a bon escient: par
exemple, les symboles \verb|<| et \verb|>| ne sont pas faits pour fabriquer
un crochet $\langle,\rangle$; ce crochet est en effet obtenu \`a l'aide de
\verb|$\langle,\rangle$|.

\item
Ne pas se priver des facilit\'es d'\AMS-\LaTeX\ pour positionner
et couper des formules (voir \cite{amslatex}).
\end{itemize}

\Subsection{La bibliographie}
\begin{itemize}
\item
Faire une bibliographie uniforme et ne pas changer de convention suivant
les entr\'ees (utiliser {\BibTeX} par exemple).
\item
Utiliser {\em syst\'ematiquement} la commande \verb|\cite| pour citer les
r\'ef\'erences bibliographiques.
\end{itemize}

\section{L'environnement}

La \SmF\ fournit aux auteurs les fichiers suivants:
\begin{itemize}
\item
deux fichiers de classe \texttt{smfbook.cls} (pour les monographies) et \texttt{smfart.cls} (pour les articles),
\item
deux fichiers de style {\BibTeX} \texttt{smfplain.bst} (pour les
citations num\'eriques) and \texttt{smfalpha.bst} (pour les citations
alphab\'etiques),
\item
un paquet \texttt{smfenum.sty} permettant de pr\'esenter les 
\'enum\'erations dans un style fran\c cais,
\item
un paquet suppl\'ementaire \texttt{smfthm.sty} d\'ecrit au \T\ref{sec:smfthm},
\item
un paquet additionnel \texttt{bull.sty} pour les articles soumis au \textsl{Bulletin}.
\end{itemize}
Ils sont disponible sur le serveur de la SMF:

\texttt{http://smf.emath.fr/}

\noindent sous la rubrique \verb|Publications/Formats|.

\smallskip
L'environnement n\'ecessaire \`a l'utilisation des classes de la \SmF\ est
{\em le m\^eme} que pour les classes {\AMS-\LaTeX}. Il faut disposer: 
\begin{itemize}
\item de \LaTeXe, si possible une version r\'ecente. La classe
ne fonctionne pas avec l'ancienne version \LaTeX 2.09,
obsol\`ete depuis plusieurs ann\'ees;
\item des divers {\em package}s {\AMS-\LaTeX} fournis par l'AMS;
il est pr\'ef\'erable de disposer de la version de novembre 1996,
mais cela devrait fonctionner avec celle de 1995;
\item
Pour mettre en page un \'eventuel index,
il est de plus souhaitable de disposer du {\em package}
\texttt{multicol.sty}.
\end{itemize}
A la place du fichier \texttt{amsbook.cls} (\resp \texttt{amsart.cls}) on
utilisera le fichier \texttt{smfbook.cls} (\resp \texttt{smfart.cls}) qui
doit \^etre plac\'e dans le m\^eme dossier. Si l'auteur utilise les macros
\texttt{smfthm} (voir le \T\ref{sec:smfthm}), \texttt{smfenum.sty} ou \texttt{bull.sty}, il y placera aussi les fichier \texttt{smfthm.sty} ou \texttt{bull.sty}. 

\smallskip
De nombreux {\em package}s standard apportent
de nouvelles fonctionnalit\'es \`a \LaTeXe. Nous sugg\'erons ainsi
d'utiliser:
\begin{itemize}
\item \texttt{epsfig.sty}, \cite{epsfig},
pour l'inclusion de dessins r\'ealis\'es
en {\scshape PostScript} (encapsul\'e);
\item \texttt{graphics.sty} ou \texttt{graphicx.sty},
\cite{graphics} et~\cite{graphicx}, pour
l'inclusion de dessins r\'ealis\'es par \LaTeX{};
\item \texttt{babel.sty}, \cite{babel},
qui permet des documents multilingues (c\'esure, etc.);
\item \texttt{xypic.sty},
\cite{xypic}, pour les diagrammes;
\item {\BibTeX}, \cite[Appendix B]{lamport94} ou \cite{hypatia},
 pour g\'erer la bibliographie.
\end{itemize}


\section{Structure du document}\label{sec:struct}

Un fichier mis en page avec l'une des classes \texttt{smfbook}
ou \texttt{smfart} a la structure suivante.
Les champs entre crochets sont optionnels.

\begin{verse}
\verb|\documentclass[|\meta{options}\verb|]{smfbook| ou \verb|smfart}|\\
Pr\'eambule (packages, macros, environnements d'\'enonc\'es\dots), par
exemple: \\
{\advance\leftskip 1.5em
\verb|\usepackage[francais,english]{babel}| \\
\verb|\usepackage{smfthm}|\\
\verb|\usepackage{bull}|\quad (pour les articles soumis au \textsl{Bulletin})\\
\verb|\theoremstyle{plain} \newtheorem{scholie}{Scholie}|\\
}
\smallskip
\verb|\author[|\meta{nom raccourci}\verb|]{|\meta{Pr\'enom Nom}\verb|}| \\
\verb|\address{|\meta{ligne 1}\verb|\\ |\meta{ligne 2}\verb|\\ |\dots
\meta{ligne $n$}\verb|}| \\
\verb|\email{|\meta{adresse m\'el}\verb|}| \\
\verb|\urladdr{|\meta{adresse WWW}\verb|}|\\
\smallskip
\verb|\title[|\meta{titre court}\verb|]{|\meta{titre dans la langue de
    l'article}\verb|}| \\
\verb|\alttitle{|\meta{titre dans l'autre langue
    (fran\c{c}ais ou anglais)}\verb|}| \\
\bigskip
\verb|\begin{document}|\\
\verb|\frontmatter|\\
\smallskip
\verb|\begin{abstract}|\\
\quad\meta{R\'esum\'e dans la langue de l'article}\\
\verb|\end{abstract}|\\
\smallskip
\verb|\begin{altabstract}|\\
\quad\meta{R\'esum\'e dans l'autre langue (fran\c{c}ais ou anglais)}\\
\verb|\end{altabstract}| \\
\smallskip
\verb|\subjclass{|\meta{classification}\verb|}| \\
\verb|\keywords{|\meta{Mots-clefs dans la langue de l'article}\verb|}| \\
\verb|\altkeywords{|\meta{Mots-clefs dans l'autre langue (fran\c{c}ais ou anglais)}\verb|}| \\
\smallskip
\quad \verb|\translator{|\meta{Pr\'enom Nom}\verb|}|\\
\quad \verb|\thanks{|\meta{Subventions}\verb|}|\\
\quad \verb|\dedicatory{|\meta{D\'edicace}\verb|}|\\
\smallskip
\verb|\maketitle|\\
\quad \verb|\tableofcontents |\meta{si n\'ecessaire}\verb||\\
\smallskip
\verb|\mainmatter|\\
Corps de l'ouvrage\\
\smallskip
\verb|\backmatter|\\
Bibliographie, index, etc.\\
\verb|\end{document}|
\end{verse}

\Subsection*{Remarques}
\begin{itemize}
\item
S'il y a plusieurs auteurs, ou si un auteur a plusieurs adresses, entrer
tout simplement autant de commandes \par
\begin{verse} \rm
\verb|\author{|\meta{auteur}\verb|}| \\
\verb|\address{|\meta{adresse}\verb|}| \\
\verb|\email{|\meta{adresse m\'el}\verb|}| \\
\verb|\urladdr{|\meta{adresse WWW}\verb|}|
\end{verse}
qu'il le faut, dans l'ordre bien entendu.
\item
Toutes les donn\'ees intervenant avant \verb|\maketitle| sont aussi utilis\'ees pour les pages de couverture, la publicit\'e, les r\'esum\'es \'electroniques, les bases de donn\'ees. Aussi, {\em aucune macro personnelle} ne doit y figurer. L'auteur fournira une {\em traduction anglaise du titre} si celui-ci est en fran\c cais.
\item
Ne pas h\'esiter \`a \^etre prolixe sur le contenu de \verb|\subjclass|. On pourra consulter \`a ce propos

\url|http://www-mathdoc.ujf-grenoble.fr/MSC2000/msc.html|
\end{itemize}

\section{Options de la classe}
Ces options s'introduisent de la mani\`ere suivante:
\begin{verse}
\verb|\documentclass[|\meta{option1,option2,\dots}%
\verb|]{smfbook| ou \verb|smfart}|
\end{verse}
Les options marqu\'ees d'une \'etoile sont s\'electionn\'ees par
d\'efaut.


\Subsection{Options usuelles}
\begin{itemize}
\item {\tt \myast a4paper}:
 Impression sur du papier A4
\item {\tt letterpaper}:
 Impression sur du papier \og US Letter\fg, pour
 faciliter l'utilisation de cette classe aux \'Etats-Unis,
 lors de la mise au point du texte.
\item {\tt draft}:
 Version pr\'eliminaire, les {\em overfull hbox\,}es sont marqu\'ees d'un trait noir.
\item {\tt \myast leqno}:
 Num\'eros d'\'equations \`a gauche
\item {\tt reqno}:
 Num\'eros d'\'equations \`a droite
\item {\tt \myast 10pt}:
 Taille normale des caract\`eres = 10 points
\item {\tt 11pt}:
 Taille normale des caract\`eres = 11 points
\item {\tt 12pt}:
 Taille normale des caract\`eres = 12 points
\end{itemize}


\Subsection{Langue du texte}

\begin{itemize}
\item {\tt \myast francais}:
 pour un texte en fran\c{c}ais
\item {\tt english}:
 pour un texte en anglais
\end{itemize}

\subsection{Remarque}
Ne pas confondre l'option {\tt francais} ou {\tt english} de la classe SMF avec l'option {\tt francais} ou {\tt english} de {\tt babel}, qui, elle, doit \^etre introduite comme indiqu\'e dans l'exemple du \T\ref{sec:struct}.


\section{D\'ecoupage du texte}
Comme dans toutes les classes \LaTeXe, des commandes permettent de
sectionner le document (voir \cite{lamport94,goossens93,short} pour une information pr\'ecise):
\begin{center}
\begin{tabular}{ll}
\verb|\part| \\
\verb|\chapter| & \texttt{smfbook} uniquement \\
\verb|\section| \\
\verb|\subsection| \\
\verb|\subsubsection| \\
\verb|\paragraph| \\
\verb|\subparagraph|
\end{tabular}
\end{center}

\noindent
La table des mati\`eres est ins\'er\'ee automatiquement avec \par
\verb|\tableofcontents|.

\noindent
La commande \par
\verb|\appendix| \par\noindent
permet de d\'ebuter les appendices.

La bibliographie est entr\'ee comme d'habitude en \LaTeX,
\begin{verse}
\verb|\begin{thebibliography}{|\meta{label le plus long}\verb|}| \\
\meta{Entr\'ees de bibliographies} \\
\verb|\end{thebibliography}|
\end{verse}
Il est possible, bien s\^ur, d'utiliser {\BibTeX}, voir par exemple~\cite[Appendix~B]{lamport94} et~\cite{hypatia} pour une introduction.
Les styles \texttt{smfplain.bst} et \texttt{smfalpha.bst} pour la pr\'esentation automatique avec {\BibTeX} des bibliographies est disponible sur le serveur \url|http://smf.emath.fr/|\ de la SMF. On entre alors la bibliographie comme suit:
\begin{verse}
\verb|\bibliographystyle{smfplain| ou \verb|smfalpha}| \\
\verb|\bibliography{myfile.bib}|
\end{verse}
si \verb|myfile.bib| est le fichier de donn\'ees bibliographique {\BibTeX}.


\section{Pr\'esentation des th\'eor\`emes}\label{sec:presentationthm}

Les th\'eor\`emes sont mis en page gr\^ace au {\em package} {\tt amsthm}.
Nous renvoyons \`a la documentation~\cite{amslatex}
de celui-ci pour plus de d\'etails. Il est recommand\'e d'utiliser {\em syst\'ematiquement} les environnements d'\'enonc\'e et de d\'emonstration.


\subsection{Styles de th\'eor\`emes}\label{subsec:thm}

Sont d\'efinis trois styles de th\'eor\`emes: {\tt plain},
{\tt definition} et {\tt remark}. Ces deux derniers sont identiques
et diff\`erent du premier par le fait que le texte de l'\'enonc\'e
est en caract\`eres droits et non en italique.

Les environnements sont introduits par la commande \verb|\newtheorem| dans le pr\'eambule, qui cr\'ee ou utilise un compteur pour les num\'eroter automatiquement.

Les \'enonc\'es non num\'erot\'es sont obtenus par la commande \verb|\newtheorem*| dans le pr\'eambule: par exemple

\verb|\newtheorem*{lemmepetitchemin}{Lemme des petits chemins}|

\medskip
Les \'enonc\'es num\'erot\'es suivant une num\'erotation sp\'eciale sont introduits s\'epar\'ement dans le pr\'eambule, par exemple, pour des propositions num\'erot\'ees alphab\'etiquement:

\verb|\newtheorem{theoremalph}{Proposition}|

\verb|\def\thetheoremalph{\Alph{theoremalph}}|.

\subsection{Environnement de d\'emonstration}
\label{subsec:proof}

L'environnement de preuve \par
\verb|\begin{proof}| \dots \verb|\end{proof}|\par\noindent
permet une pr\'esentation standard d'une d\'emonstration, d\'ebutant
par {\og D\'e\-mons\-tra\-tion\fg} et se terminant par le traditionnel
petit carr\'e $\qedsymbol$.

\smallskip
Il est possible de changer le terme {\og D\'emonstration\fg} en fournissant
un argument suppl\'ementaire, comme dans: \par
\verb|\begin{proof}[Id\'ee de la d\'emonstration]| \dots
\verb|\end{proof}| \par\noindent
qui affiche
\begin{proof}[Id\'ee de la d\'emonstration]
Laiss\'ee au lecteur.
\end{proof}

\section{Le {\em package} \texttt{smfthm.sty}}\label{sec:smfthm}
Dans un article ou une monographie pour lequel la num\'erotation des \'enonc\'es est homog\`ene, l'auteur peut utiliser le {\em package} \texttt{smfthm.sty} (et y ajouter ses propres environnements si besoin).
Cette section d\'ecrit les fonctionnalit\'es apport\'ees par ce
{\em package} \texttt{smfthm.sty}. Son utilisation
{\em n'est pas obligatoire}.

\subsection{Environnements de th\'eor\`emes}

Un certain nombre d'environnements de type th\'eor\`eme sont pr\'e-d\'efinis. Ils utilisent un seul et m\^eme compteur.
\par\nobreak
\begin{center}\begin{tabular}{lccc}
\noalign{\hrule height .08em\vskip.65ex}
Style & {\tt Macro} \LaTeX & Nom fran\c{c}ais & English name\quad \\
\noalign{\vskip .4ex \hrule height 0.05em\vskip.65ex}
\it plain & \tt theo & Th\'eor\`eme & \it Theorem \\
 & \tt prop & Proposition & \it Proposition \\
 & \tt conj & Conjecture & \it Conjecture \\
 & \tt coro & Corollaire & \it Corollary \\
 & \tt lemm & Lemme & \it Lemma \\
\noalign{\vskip .4ex \hrule height 0.05em\vskip.65ex}
\it definition & \tt defi & D\'efinition & \it Definition \\
\noalign{\vskip .4ex \hrule height 0.05em\vskip.65ex}
\it remark & \tt rema & Remarque & \it Remark \\
 & \tt exem & Exemple & \it Example \\
\noalign{\vskip .4ex \hrule height 0.08em\vskip.65ex}
\end{tabular}\end{center}
On les utilise par exemple comme suit:
\begin{verse}
\verb|\begin{conj}[Fermat]| \\
\verb|Si $n\geq 3$ et si $x$, $y$, $z$ sont trois| \\
\verb|entiers naturels tels que $x^n+y^n=z^n$,|\\
\verb|alors $xyz=0$.| \\
\verb|\end{conj}|
\end{verse}
\begin{conj}[Fermat]
Si $n\geq 3$ et si $x$, $y$, $z$ sont trois entiers
naturels tels que $x^n+y^n=z^n$, alors $xyz=0$.
\end{conj}

\subsection{Choix de la num\'erotation}
Le type de num\'erotation de \'enonc\'es est d\'efini par les commandes
suivantes, qui doivent \^etre entr\'ees dans le pr\'eambule,
c'est-\`a-dire {\em avant\/} le %\par\noindent
\verb|\begin{document}|:
\begin{itemize}
\item
\verb|\NumberTheoremsIn{|\meta{nom de compteur}\verb|}|:
 pr\'ecise le niveau de profondeur auquel les num\'eros d'\'enonc\'es sont remis \`a z\'ero
 (\verb|section| par exemple); ces num\'eros utilisent alors le compteur {\tt smfthm};
\item
\verb|\NumberTheoremsAs{|\meta{nom de compteur}\verb|}|:
 utilise un d\'ecoupage qui s'int\`egre dans celui donn\'e par un compteur d\'ej\`a d\'efini (par exemple \verb|section|, \verb|subsection|, \verb|paragraph|, etc.);
\item
\verb|\SwapTheoremNumbers|:
 met le num\'ero avant le type d'\'enonc\'e, comme dans {\og 1.~Th\'eor\`eme\fg};
\item
\verb|\NoSwapTheoremNumbers|:
 met le type d'\'enonc\'e avant son num\'ero, par exem\-ple: \og Th\'eor\`eme 1\fg.
\end{itemize}

Sans autres pr\'ecisions, la classe utilise \par
\verb|\NumberTheoremsIn{section}\NoSwapTheoremNumbers| \par\noindent
ce qui signifie que les th\'eor\`emes sont remis \`a z\'ero au d\'ebut de chaque
section et que les num\'eros d'\'enonc\'es, qui apparaissent sous la forme

{\tt num\'ero de section.valeur du compteur smfthm}

\noindent sont plac\'es apr\`es le nom de l'environnement.

\subsection{\'Enonc\'e g\'en\'erique}

L'environnement \texttt{enonce} est un environnement
de th\'eor\`emes dont
le nom change \`a la demande, par exemple:\par
\begin{verse}
\verb|\begin{enonce}{Formulaire}|\\
\meta\dots \\
\verb|\end{enonce}|
\end{verse}
provoque l'affichage d'un \og Formulaire\fg, num\'erot\'e comme les \'enonc\'es du tableau ci-dessus.

\smallskip
Par d\'efaut, l'{\tt enonce} est dans le style de th\'eor\`eme {\it plain},
mais il est possible de faire autrement en indiquant entre crochets le
style voulu, par exemple:\par
\begin{verse}
\verb|\begin{enonce}[remark]{Remarque clef}|\\
\meta\dots \\
\verb|\end{enonce}|
\end{verse}

Enfin, on dispose de l'environnement non num\'erot\'e \verb|enonce*| qui lui correspond.

\subsection{Autres \'enonc\'es}

L'auteur peut introduire d'autres \'enonc\'es comme il est expliqu\'e au \T\ref{subsec:thm}. Pour introduire un \'enonc\'e num\'erot\'e comme ceux de {\tt smfthm.sty}, on utilise {\tt enonce}:

\verb|\newenvironment{scholie}{\begin{enonce}{Scholie}}{\end{enonce}}|

\noindent que l'on saisit \emph{apr\`es} \verb|\begin{document}|.

\section{Adapter un manuscrit depuis un autre dialecte}
\label{sec:compatible}

Ce paragraphe donne quelques indications pour mettre au format SMF un manuscrit tap\'e en \textsc{Plain} \TeX, ou bien
en \LaTeX 2.09, ou bien en \LaTeXe, mais avec une autre classe.

\subsection{Depuis une classe \LaTeXe}
S'il s'agit d'une classe AMS, tr\`es peu de travail suffit: remplacer par exemple (pour un article \'ecrit en anglais):

\verb|\documentstyle[12pt,leqno]{amsart}|

\noindent par

\verb|\documentstyle[leqno,english]{smfart}|

\noindent
Il faudra aussi entrer un r\'esum\'e (\texttt{altabstract}) et un titre (\texttt{alttitle}), en fran\c{c}ais si le texte est en anglais et en anglais sinon.

L'op\'eration inverse (SMF $\rightarrow$ AMS) est bien s\^ur possible de la m\^eme mani\`ere.

\medskip
S'il s'agit d'une classe standard (\texttt{article} ou \texttt{book}),
les choses seront \`a peine plus compliqu\'ees. Penser \`a taper
les r\'esum\'es avant le \verb|\maketitle|; quelques formules math\'ematiques
pourraient ne plus marcher, mais les {\em package}s AMS offrent
une telle souplesse d'utilisation qu'il ne devrait pas \^etre tr\`es
difficile de faire la transition.

\subsection{Depuis \LaTeX2.09}
Dans ce cas, il faudra faire les adaptations d\'e\-cri\-tes
au paragraphe pr\'ec\'edent, ainsi que celles contraintes par la mutation
\LaTeX2.09--\LaTeXe. A priori, celles-ci concernent surtout les polices
de caract\`eres et l'utilisation de NFSS ({\em New Font Selection Scheme,}
nouveau sch\'ema de s\'election de polices).


\subsection{Depuis {P\smaller[3]LAIN} \TeX}
Dans ce cas, il faut reprendre tout votre tapuscrit
et remplacer vos commandes de titres, de th\'eor\`emes, de bibliographie,
par les commandes {\em ad hoc,} en vous r\'ef\'erant \`a la documention
qui pr\'ec\`ede.

Nous attirons l'attention sur la num\'erotation automatique
des paragraphes et des \'enonc\'es: elle peut diff\'erer de la num\'erotation
manuelle; faire donc attention aux r\'ef\'erences d'\'enonc\'es.

Les commandes de changement de polices utilis\'ees avec \textsc{Plain} \TeX{}
sont souvent inop\'erantes en \LaTeXe, il faudra aussi les adapter.
Concernant les math\'ematiques, il y a peu de changements \`a faire,
\`a l'exception notamment des \'equations align\'ees et (parfois) des matrices.

\def\refname{D\MakeLowercase{ocumentation et sources}}
\begin{thebibliography}{99}
\bibitem {lamport94}
 {\sc L.\ Lamport.} ---
 {\it \LaTeX: A Document Preparation System.}
 Second edition. Addison-Wesley, 1994.

\bibitem {goossens93}
 {\sc M.\ Goossens, F.\ Mittelbach, A.\ Samarin.} ---
 {\it The \LaTeX\ Companion.}
 Addison-Wesley, 1993.

\bibitem {goossens96}
 {\sc M.\ Goossens, S.\ Rahtz and F.\ Mittelbach.} ---
 {\it The \LaTeX\ Graphics Companion: Illustrating Documents With TeX and
 Postscript.}
 Tools and Techniques for Computer Typesetting Series,
 Addison-Wesley, 1996.

\bibitem {short}
{\it Une courte (?) introduction a \LaTeX2e,} {\scshape T.\ Oetiker,
 H.\ Partl, I.\ Hyna, E.\ Schlegl,} traduit de
 l'allemand par {\scshape M.\ Herrb,}
\url|http://www.loria.fr/tex/general/flshort2e.dvi|

\bibitem {amslatex}
{\it \AMS-\LaTeX\ version 1.2 User's Guide},
\url|http://www.loria.fr/tex/ctan-doc/macros/latex/packages/amslatex/amsldoc.dvi|

\bibitem{babel}
{\it Babel, a multilingual package for use with \LaTeX's standard document
classes,}
{\scshape J.\ Braams,}
\url|http://www.loria.fr/tex/ctan-doc/macros/latex/packages/babel/babel.dvi|

\bibitem{epsfig}
{\it The \texttt{epsfig} package,}
{\scshape S.\ Rahtz,}
\url|http://www.loria.fr/tex/ctan-doc/macros/latex/packages/graphics/epsfig.dvi|

\bibitem{graphics}
{\it The \texttt{graphics} package,}
{\scshape D.\ Carlisle, S.\ Rahtz,}
\url|http://www.loria.fr/tex/ctan-doc/macros/latex/packages/graphics/graphics.dvi|

\bibitem{graphicx}
{\it The \texttt{graphicx} package,}
{\scshape D.\ Carlisle, S.\ Rahtz,}
\url|http://www.loria.fr/tex/ctan-doc/macros/latex/packages/graphics/graphicx.dvi|

\bibitem {hypatia}
{\it Hypatia's Guide to \BibTeX,}
\url|http://hypatia.dcs.qmw.ac.uk/html/bibliography.html|

\bibitem{xypic}
{\it Xy-pic User's Guide,}
{\scshape K.\ Rose, R.\ Moore,}
\url{http://www.loria.fr/tex/graph-pack/doc-xypic/xyguide.dvi}
\end{thebibliography}


Les fichiers de macros et leur documentation
sont aussi disponibles dans leur derni\`ere mise \`a jour
par \texttt{ftp} anonyme sur les sites CTAN ({\em Comprehensive TeX Archive
Network,} archive structur\'ee de documents pour {\TeX} et ses d\'eriv\'es).
En France, on peut utiliser les adresses \texttt{ftp.loria.fr}
ou \verb|ftp.jussieu.fr|;
les adresses \texttt{ftp.tex.ac.uk} en Grande-Bretagne,
\texttt{ftp.dante.de} en Allemagne con\-ti\-en\-nent aussi l'archive.

\end{document}