path: root/Master/texmf-dist/doc/latex/smflatex/f-doc.tex

\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 4, mars 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|\texttt{bull.sty}|\quad (pour les articles soumis au \textsl{Bulletin})\\
\verb|\theoremestyle{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}