diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/smflatex/f-doc.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/smflatex/f-doc.tex | 754 |
1 files changed, 754 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/smflatex/f-doc.tex b/Master/texmf-dist/doc/latex/smflatex/f-doc.tex new file mode 100644 index 00000000000..f0c6d4946d2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/smflatex/f-doc.tex @@ -0,0 +1,754 @@ +\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} + + + + + + + |