smflatex (18apr21)

git-svn-id: svn://tug.org/texlive/trunk@58910 c570f23f-e606-0410-a88d-b1316a301751

6 files changed, 1545 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/latex/smflatex/README b/Master/texmf-dist/doc/latex/smflatex/README
new file mode 100644
index 00000000000..be2435f9ba9
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/README
@@ -0,0 +1,64 @@
+********************************************************************************
+* smflatex package version 1.6-20210418
+* Copyright (c) Société mathématique de France, 1999-2021
+* LaTeX Project Public License (version 1.3c).
+********************************************************************************
+
+The Société mathématique de France provides 
+a set of classes, packages and bibtex styles
+that are used in its publications.
+They are based on Ams classes (whose code is sometimes recopied)
+and mainly "upward-compatible".
+
+Their main features are
+   1. different design, similar to traditional French mathematical journals
+   2. new environments for typesetting some informations
+in two languages (altabstract, alttitle, altkeywords)
+   3. if necessary, use of babel (option french) and desactivation
+of some features of french.
+
+The following files are provided in the package (once unpacked)
+
+  smfart.cls
+  smfbook.cls	classes for articles and books
+
+  smfenum.sty	package for new alignment style of enumerations
+  smfthm.sty	package for simplified definition of theorems
+
+  smfplain.bst
+  smfalpha.bst	BibTeX styles 
+
+Are also included:
+
+  smf-edoc.tex	documentation and advices (in english)
+  smf-edoc.pdf
+  smf-fdoc.tex	documentation et conseils (in french)
+  smf-fdoc.pdf
+
+The present distribution is version 1.6-20210418
+It consists in minor updates of the 1.5 version and in modifications
+of the file names (systematic addition of a smf- prefix) 
+in order to be fullfill the requirements of the TeXLive distribution.
+
+The documentation files are slightly outdated.
+
+INSTALLATION : 
+  unload these files to $TEXMF/src/latex/smflatex
+  compile smflatex.ins 
+  move .cls, .sty files to $TEXMF/tex/latex/smflatex
+  move .bst files to $TEXMF/bibtex/bst/smflatex
+  move .tex and .pdf  files to $TEXMF/doc/latex/smflatex
+ 
+Some additional classes, reserved for internal use of SMF, can be
+installed as well,  by manually setting \smftrue in smflatex.ins
+
+This work is subject to the LaTeX Project Public License (version 1.3c).
+
+Maintainer : Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr>
+--
+Société mathématique de France
+Institut Henri Poincaré
+11 rue Pierre et Marie Curie, F-75231 Paris cedex 05
+Email : revues@smf.emath.fr
+Url : http://smf.emath.fr
+
diff --git a/Master/texmf-dist/doc/latex/smflatex/smf-edoc.pdf b/Master/texmf-dist/doc/latex/smflatex/smf-edoc.pdf
new file mode 100644
index 00000000000..ef375ac5a1e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/smf-edoc.pdf
diff --git a/Master/texmf-dist/doc/latex/smflatex/smf-edoc.tex b/Master/texmf-dist/doc/latex/smflatex/smf-edoc.tex
new file mode 100644
index 00000000000..af18072a6b3
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/smf-edoc.tex
@@ -0,0 +1,674 @@
+\documentclass[11pt,english]{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{Advice to authors}
+\date {English version 5, dated October 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, typesetting}
+
+\begin{document}
+\def\smfbyname{}
+
+\begin{abstract}
+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{abstract}
+
+\begin{altabstract}
+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{altabstract}
+\maketitle
+
+\tableofcontents
+
+\section{Introduction}
+The \SmF\ provides the authors of its publications with \LaTeXe\ ``document classes'' (\texttt{smfbook} for monographs and \texttt{smfart} for articles). The authors should submit their articles as \LaTeXe\ files prepared using these classes or with the \AMS-\LaTeX\ classes (\texttt{amsbook} or \texttt{amsart}) provided by the AMS (see \T\ref{sec:compatible} for the compatibility between these classes).
+
+This text contains a user's guide to these classes as well as some elementary typographical rules that the authors should read thoroughly before preparing their manuscript as a \LaTeXe\ file: sending a file prepared with the SMF classes following these rules will reduce the number of errors introduced by the editing process and will save the author proofreading time. This will hence minimize the time needed for the article to reach its printed form (and reduce the publishing costs).
+
+
+\section{Typographical hygiene}
+The file sent by the author will be adapted to the style of the journal where it will be published by the editorial board of the \SmF. It is therefore {\em important} that the \LaTeXe\ file is prepared in a very standard way, in particular by a {\em systematic} use of theorem- and proof-like environments (see \T\ref{sec:presentationthm}), of \verb|\label| and \verb|\ref| commands for referring to the corresponding numbers, and of \verb|\cite| for bibliographical references. Moreover, ``home'' macros must be clearly written in the preamble. {\em No} ``home'' macro will be used in the title, the address, the abstracts (French and English), the keywords.
+
+\Subsection{Horizontal and vertical spacing}
+
+\begin{itemize}
+\item
+Delete all spacing commands like \verb|\,| or \verb|\;| or \verb|\!|
+{\em before or after} mathematical symbols, parentheses,
+punctuation marks, etc. Horizontal spaces (in mathematical mode in particular) are handled automatically by \TeX, the author should not add any.
+\item
+On the other hand, the author may impose indivisible spaces in places where she/he does not want a carriage return, e.g.
+\verb|Tintin~\cite{RG3}| instead of \verb|Tintin \cite{RG3}|.
+
+\item
+The author should not type any space or carriage return \emph{before}
+punctuation marks. However, such a space or carriage return \emph{always} comes after punctuation marks
+
+\item
+No space \emph{before} a closing parentheses or bracket,
+as well as \emph{after} an opening parentheses or bracket.
+
+\item
+Do not use any \verb|\linebreak|, \verb|\\|, \verb|\pagebreak|, \verb|\newpage|, etc.\ in the text.
+
+\item
+Avoid commands as \verb|\hskip|, \verb|\hspace|
+or \verb|\vskip|, \verb|\vspace| in the text.
+\end{itemize}
+
+\Subsection{Punctuation marks}
+
+\begin{itemize}
+\item
+Do not put {\em any} punctuation marks at the end of any title:
+\begin{itemize}
+\item
+\verb|\section{Introduction}| and not \verb|\section{Introduction.}|
+\item
+\verb|\begin{remark}| and not \verb|\begin{remark.}|
+\item etc.
+\end{itemize}
+
+\item
+In text mode, punctuation marks are typed \emph{outside of} the mathematical mode. Write for example:
+
+``\dots\ \verb|the level $\eta_0$:  $$ A=B.$$|''
+
+\noindent and not
+
+``\dots\ \verb|the level $\eta_0:$ $$A=B.$$|''
+
+\item
+Concerning points of suspension:
+\begin{itemize}
+\item
+replace \verb|...| with \verb|\ldots\ | in the text (in English);
+\item
+replace \verb|...| or \verb|\ldots| with \verb|\cdots|
+between operators (as in, for instance,
+$A<\cdots<B$, $A+\cdots+B$ or $A=\cdots=B$)
+and with \verb|\dots| or \verb|\ldots| for mathematical punctuation (for instance $i=1, \dots ,n$);
+\item
+suppress \verb|...| after ``etc.''.
+\end{itemize}
+\item
+For a product, use \verb|\cdot| and not \verb|.|;
+In the same way, rewrite formulas like $h(.)$ or $(.,.)$ as $h(\cdot)$ or
+$(\cdot,\cdot)$.
+
+\item
+Replace explicit hyphenation (as in \verb|presenta-tion|)
+with optional hyphenation \verb|\-| (as in \verb|presenta\-tion|).
+Of course, ordinary hyphens are kept for compound words.
+\end{itemize}
+
+\subsection{Titles}
+
+Titles begin with an upper case letter and are typed in {\em lower case letters}.
+When necessary, \LaTeX\ will produce an upper case output.
+No punctuation marks should be inserted at the end of titles (see above).
+
+\subsection{Language}
+
+The author should follow the rules of the language she/he uses, in particular when typing numbers:
+in French, one should write ``deux nombres \'egaux \`a $2$'' and in the file one should type
+
+\verb|deux nombres \'egaux \`a $2$|.
+
+\noindent
+On the other hand, recall that French upper case letters take accents as do lower case letters.
+
+\Subsection{Numbering}
+
+\begin{itemize}
+\item
+Use as much as possible the automatic numbering and the corresponding \LaTeXe\ commands \verb|\label|, \verb|\ref|. To this end, keep {\em a consistent numbering convention}. Do not \og ask\fg\ commands such as
+\verb|\section| or \verb|\begin{theoreme}| to produce a complicated output. Recall that the final output will be done by the editorial board of the \SmF: please, try to help the secretary in her/his task.
+
+\item
+Use a simple logic for internal references:
+\begin{itemize}
+\item
+\verb|\label{sec:1}| for the first section,
+
+\item
+\verb|\label{th:invfunct}| for the inverse function theorem,
+
+\item
+\verb|\label{rem:stupid}| for an interesting remark.
+\end{itemize}
+
+\item
+Do not number equations which are not referred to in the text.
+\end{itemize}
+
+\Subsection{The mathematical mode}
+
+\begin{itemize}
+\item
+Do not put pieces of text between \verb|$ $| to change their style.
+The mathematical mode should only be used for writing mathematical formulas.
+
+\item
+The numbers written as digits should be typed in mathematical mode, even if this does not appear to be necessary.
+
+\item
+Do not add horizontal spaces in mathematical formulas.
+When necessary, the editorial board will do it.
+
+\item
+Use the right mathematical \TeX\ or \LaTeX\ symbol at the right place: for instance, the symbols \verb|<| and \verb|>| should not be used for making a bracket $\langle,\rangle$; this bracket is obtained with
+\verb|$\langle,\rangle$|.
+
+\item
+Please, before using your own solution, check all available \AMS-\LaTeX\ capabilities to place and cut mathematical formulas in display style (see \cite{amslatex}).
+\end{itemize}
+
+\Subsection{The bibliography}
+\begin{itemize}
+\item
+Make a uniform bibliography and do not change the convention according to the entry (use {\BibTeX} for instance).
+\item
+{\em Systematically} use the \verb|\cite| command to cite the entries of the bibliography.
+\end{itemize}
+
+\section{The environment}
+
+The \SmF\ (SMF) provides authors with the following files:
+\begin{itemize}
+\item
+two class files \texttt{smfbook.cls} (for monographs) and \texttt{smfart.cls} (for articles),
+\item
+two {\BibTeX} style files:
+\begin{itemize}
+\item
+\texttt{smfplain.bst} (for numerical citations) and 
+\item
+\texttt{smfalpha.bst} (for alphabetical citations),
+\end{itemize}
+\item
+a supplementary package \texttt{smfthm.sty} described in \T\ref{sec:smfthm},
+\item
+a supplementary package \texttt{smfenum.sty} for enumerations in the French style,
+\item
+a supplementary package \texttt{bull.sty} for articles submitted to the \textsl{Bulletin}.
+\end{itemize}
+They may be obtained on the web site of the SMF:
+
+\texttt{http://smf.emath.fr/}
+
+\noindent under the heading \verb|Publications/Formats|.
+
+\smallskip
+These classes have been written to remain compatible
+with the \texttt{amsbook} and \texttt{amsart} classes developped
+by the American Mathematical Society (AMS). To use them, you need:
+\begin{itemize}
+\item \LaTeXe, preferebly some recent version. The class
+doesn't work with the old \LaTeX 2.09 version which has been obsolete for years;
+\item the various packages furnished by the American Mathematical
+Society; it is better to have the November 1996 version
+although it should work with the 1995 one.
+\item
+To typeset an index, it is better to have the
+\texttt{multicol.sty} {\em package} available.
+\end{itemize}
+The file \texttt{smfbook.cls} (\resp \texttt{smfart.cls}) is used instead of  \texttt{amsbook.cls} (\resp \texttt{amsart.cls}) and has to be put in the directory containing \TeX\ inputs. In order to use the package \texttt{smfthm} (see \T\ref{sec:smfthm}) or \texttt{bull.sty}, one should put the files \texttt{smfthm.sty} or \texttt{bull.sty} in the same directory.
+
+Many standard packages add capabilities to \LaTeXe. In this respect, we suggest using
+\begin{itemize}
+\item \texttt{epsfig.sty}, \cite{epsfig}, for the inclusion of (encapsulated) {\scshape PostScript} pictures;
+\item \texttt{graphics.sty} or \texttt{graphicx.sty}, \cite{graphics,graphicx}, in order to include pictures drawn by \LaTeX;
+\item \texttt{babel.sty}, \cite{babel}, for a text written in various languages (hyphenation, \ldots);
+\item \texttt{xypic.sty}, 
+\cite{xypic}, for the diagrams;
+\item {\BibTeX}, \cite[Appendix B]{lamport94} or \cite{hypatia},
+for the bibliography.
+\end{itemize}
+
+\section{Structure of the document}\label{sec:struct}
+
+A document typeset with one of the classes 
+\texttt{smfbook} or \texttt{smfart} has the following structure.
+Fields within brackets are optional.
+
+\begin{verse}
+\verb|\documentclass[|\meta{options}\verb|]{smfbook| or \verb|smfart}|\\
+Preamble (packages, macros, theoremlike environments, \ldots) e.g.\\
+{\advance\leftskip 1.5em
+\verb|\usepackage[francais,english]{babel}| \\
+\verb|\usepackage{smfthm}|\\
+\verb|\usepackage{bull}|\quad (for articles submitted to the \textsl{Bulletin})\\
+\verb|\theoremstyle{plain} \newtheorem{scholie}{Scholie}|\\
+}
+\smallskip
+\verb|\author[|\meta{short name}\verb|]{|\meta{Firstname Lastname}\verb|}| \\
+\verb|\address{|\meta{line 1}\verb|\\ |\meta{line 2}\verb|\\ |\dots
+\meta{line $n$}\verb|}| \\
+\verb|\email{|\meta{email address}\verb|}| \\
+\verb|\urladdr{|\meta{WWW address}\verb|}|\\
+\smallskip
+\verb|\title[|\meta{short title}\verb|]{|\meta{title of text}\verb|}| \\
+\verb|\alttitle{|\meta{title in the other language
+    (French or English)}\verb|}| \\
+\smallskip
+\verb|\begin{document}|\\
+\verb|\frontmatter|\\
+\smallskip
+\verb|\begin{abstract}|\par\nopagebreak\noindent
+\quad\meta{Abstract in the main language of text}\par\nopagebreak\noindent
+\verb|\end{abstract}|\\ \smallskip 
+\verb|\begin{altabstract}|\\
+\quad\meta{Abstract in the other language (French or English)}\\
+\verb|\end{altabstract}| \\
+\smallskip
+\verb|\subjclass{|\meta{AMS classification}\verb|}| \\
+\verb|\keywords{|\meta{Key words}\verb|}| \\
+\verb|\altkeywords{|\meta{Mots-clefs in the other language (French or English)}\verb|}| \\
+\smallskip
+\quad \verb|\translator{|\meta{Firstname Lastname}\verb|}|\\
+\quad \verb|\thanks{|\meta{Grants}\verb|}|\\
+\quad \verb|\dedicatory{|\meta{dedication}\verb|}|\\
+\smallskip
+\verb|\maketitle|\\
+\quad \verb|\tableofcontents |\meta{if needed}\verb||\\
+\smallskip
+\verb|\mainmatter|\\
+Main body of the text\\
+\smallskip
+\verb|\backmatter|\\
+Bibliography, index, etc.\\
+\verb|\end{document}|
+\end{verse}
+
+\Subsection*{Remarks}
+\begin{itemize}
+\item
+If there are many authors, or if an author has more than one address,
+one may type as many \par
+\begin{verse} \rm
+\verb|\author{|\meta{author}\verb|}| \\
+\verb|\address{|\meta{address}\verb|}| \\
+\verb|\email{|\meta{email address}\verb|}| \\
+\verb|\urladdr{|\meta{WWW address}\verb|}|
+\end{verse}
+commands as needed, in the right order of course.
+\item
+All data introduced before the \verb|\maketitle| command will be used for different purposes: back cover, advertisement, electronic abstracts, data banks. It is therefore important that {no personal macro} is used in the corresponding fields.
+\item
+Do not hesitate to be prolix when filling the field \verb|\subjclass|. One may consult for instance the web site
+
+\url|http://www.ams.org/msc/|
+\end{itemize}
+
+\section{Class options}
+These options are entered the following way:
+\begin{verse}
+\verb|\documentclass[|\meta{option1,option2,...}%
+\verb|]{smfbook| or \verb|smfart}|
+\end{verse}
+Default options are indicated with a star.
+
+\Subsection{Usual options}
+\begin{itemize}
+\item {\tt \myast a4paper},
+    A4 printing
+\item {\tt letterpaper},
+    US Letter printing, to make easier the typesetting of documents
+    in the United States
+\item {\tt draft},
+    preliminary draft, {\em overfull hbox}es are shown by black rules;
+\item {\tt \myast leqno},
+     equation numbers on the left
+\item {\tt reqno},
+    equation numbers on the right
+\item {\tt \myast 10pt},
+    normal character size = 10 points
+\item {\tt 11pt},
+    normal character size = 11 points
+\item {\tt 12pt},
+    normal character size = 12 points
+\end{itemize}
+
+\Subsection{Language of the text}
+
+\begin{itemize}
+\item {\tt \myast francais},
+    if the main language of the text is French
+\item {\tt english},
+    if it is English.
+\end{itemize}
+
+\subsection{Remark}
+Do not mix up the {\tt francais} or {\tt english} options of the SMF class with the {\tt francais} or {\tt english} options of {\tt babel}: the latter has to be entered as indicated in the example of \T\ref{sec:struct}.
+
+
+\section{Sectioning commands}
+As in any \LaTeXe{} class, some commands are devoted to the sectioning of
+the document:
+\begin{center}
+\begin{tabular}{ll}
+\verb|\part| \\
+\verb|\chapter|      & \texttt{smfbook} only \\
+\verb|\section| \\
+\verb|\subsection| \\
+\verb|\subsubsection| \\
+\verb|\paragraph| \\
+\verb|\subparagraph| 
+\end{tabular}
+\end{center}
+
+\noindent
+The table of contents is inserted automatically with 
+\verb|\tableofcontents|.
+
+\noindent
+The macro \par
+\verb|\appendix| \par\noindent
+starts the appendix.
+
+The bibliography is entered as usual,
+\begin{verse}
+\verb|\begin{thebibliography}{|\meta{longest label}\verb|}| \\
+\meta{Bibliography entries} \\
+\verb|\end{thebibliography}|
+\end{verse}
+The use of {\BibTeX} is recommended,
+see for example~\cite[Appendix B]{lamport94}
+and~\cite{hypatia} for an introduction.
+The {\BibTeX} styles \texttt{smfplain.bst} and \texttt{smfalpha.bst} may be obtained on the web site \url|http://smf.emath.fr/|\  of the SMF. The bibliography is then entered as follows
+\begin{verse}
+\verb|\bibliographystyle{smfplain| or \verb|smfalpha}| \\
+\verb|\bibliography{myfile.bib}|
+\end{verse}
+if \verb|myfile.bib| is the {\BibTeX} data file.
+
+\section{Presentation of theorems}\label{sec:presentationthm}
+
+Theorems are typeset thanks to the package {\tt amsthm}. For details, we refer to its documentation~\cite{amslatex}. One should use such environments in a {\em systematic} way for statements and proofs.
+
+
+\subsection{Theorem styles}\label{subsec:thm}
+
+Three styles of theorems are defined: {\tt plain},
+{\tt definition} and {\tt remark}. The two last are identical
+and only differ from the first one in that the text of the statement
+is in straight letters instead of italics. All \verb|\newtheorem|($*$) commands should be introduced clearly in the preamble.
+
+The \verb|\newtheorem| command creates or uses some counter in order to define the numbering of the corresponding environment.
+
+Use the \verb|\newtheorem*| command to get nonnumbered theoremlike environments, e.g.
+
+\verb|\newtheorem*{curveselectionlemma}{Curve Selection Lemma}|
+
+\medskip
+Different kinds of numberings may also be introduced in the preamble, e.g. for propositions numbered alphabetically:
+
+\verb|\newtheorem{theoremalph}{Proposition}|
+
+\verb|\def\thetheoremalph{\Alph{theoremalph}}|.
+
+
+\subsection{Proof environment}\label{subsec:proof}
+
+The proof environment \par
+\verb|\begin{proof}| \dots \verb|\end{proof}|\par\noindent
+allows a standard presentation of proofs, beginning with
+``Proof'' and ending with the traditional small box $\qedsymbol$.
+
+It is possible to change the word ``Proof'' as in:\par
+\verb|\begin{proof}[Idea of proof]| \dots \verb|\end{proof}| \par\noindent
+which shows
+\begin{proof}[Idea of proof]
+Exercise for the interested reader.
+\end{proof}
+
+\section{The \texttt{smfthm.sty} package}\label{sec:smfthm}
+
+This section describes the \texttt{smfthm.sty} package. Its use is not mandatory.
+
+\subsection{Theoremlike environments}
+
+Some theoremlike environments are defined. They use one and the same counter.
+\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}
+One uses them e.g. as follows:
+\begin{verse}
+\verb|\begin{theo}[Wiles]| \\
+\verb|If $n\geq 3$ and if $x$, $y$, $z$ are integers| \\
+\verb|such that $x^n+y^n=z^n$, then $xyz=0$.|\\
+\verb|\end{theo}|
+\end{verse}
+\begin{theo}[Wiles]
+If $n\geq 3$ and if $x$, $y$, $z$ are integers such that
+$x^n+y^n=z^n$, then $xyz=0$.
+\end{theo}
+
+\subsection{Fixing the choice of the numbering}
+The way of numbering the statements is defined by the following commands,
+which have to been entered {\em before\/} the %\par\noindent
+\verb|\begin{document}|:
+\begin{itemize}
+\item
+\verb|\NumberTheoremsIn{|\meta{counter name}\verb|}|,
+    indicates the level
+    at which the statement numbers are reset to zero,
+    (\verb|section| for instance); the counter {\tt smfthm} is then defined;
+\item
+\verb|\NumberTheoremsAs{|\meta{counter name}\verb|}|,
+    allows the statement coun\-ter to be one of the usual sectioning counters
+    (e.g. \verb|section|, \verb|subsection|, \verb|paragraph|, etc.);
+\item
+\verb|\SwapTheoremNumbers|,
+    to put the statement number before the statement name,
+    as in ``1.4.~Theorem''
+\item
+\verb|\NoSwapTheoremNumbers|, 
+    the converse, e.g. ``Theorem~3.1''
+\end{itemize}
+
+\smallskip
+The default options of the package are\par
+\verb|\NumberTheoremsIn{section}\NoSwapTheoremNumbers| \par\noindent
+which means that the counter {\tt smfthm} is defined and reset at the beginning of every section and that the statement numbers, which take the form
+
+{\tt section number.value of the counter smfthm}
+
+\noindent are written after the statement name.
+
+
+\subsection{Generic statement}
+
+The {\tt enonce} environment allows one to typeset a generic theorem
+whose name changes on demand, e.g.:\par
+\begin{verse}
+\verb|\begin{enonce}{Assumption}|\\
+\meta\dots \\
+\verb|\end{enonce}|
+\end{verse}
+typesets an `Assumption', numbered as it should be.
+
+The {\tt enonce} environment uses the {\it plain} theorem style, but one can change this style by putting another style inside brakets, e.g.:
+\begin{verse}
+\verb|\begin{enonce}[remark]{Key remark}|\\
+\meta\dots \\
+\verb|\end{enonce}|
+\end{verse}
+
+Finally, there exists a corresponding \verb|enonce*| environment.
+
+\subsection{Other statements}
+The author may introduce other kinds of theoremlike environments as explained in \T\ref{subsec:thm}. Notice, however, that in order to introduce environments numbered as the ones of {\tt smfthm.sty}, one uses {\tt enonce}:
+
+\verb|\newenvironment{scholie}{\begin{enonce}{Scholie}}{\end{enonce}}|
+
+\noindent which should be entered \emph{after} \verb|\begin{document}|.
+
+
+\section{Adapting a manuscript from another dialect}\label{sec:compatible}
+If you already have typed your manuscript  in \textsc{Plain} \TeX,
+or in \LaTeX 2.09, or in \LaTeXe, but with another class,
+and if you want to adapt it to the SMF classes, this paragraph
+will give you some hints.
+
+\subsection{From another \LaTeXe\ class}
+If it is an AMS class, you'll have very little to do: for an article written in English for instance, replace
+
+\verb|\documentstyle[12pt,leqno]{amsart}|
+
+\noindent with
+
+\verb|\documentstyle[leqno,english]{smfart}|
+
+\noindent
+
+You'll need to enter another abstract
+(\texttt{altabstract}) and another title (\texttt{alttitle}), 
+in French if your text is in English and in English otherwise.
+
+The inverse transformation (SMF $\rightarrow$ AMS) can be done in a similar way.
+
+\medskip
+If it is a standard class (\texttt{article} ou \texttt{book}),
+things are a bit more complicated. Be careful to type the abstracts
+{\em before} the \verb|\maketitle|; some mathematical formulas might
+not work properly, but the AMS packages offer such a variety of
+uses, that it should not be very difficult to do.
+
+\subsection{From \LaTeX2.09}
+In this case, you'll have to make the adjustments described
+in the previous paragraph, and also those needed by the
+\LaTeX2.09--\LaTeXe\ mutation.
+A priori, it should mostly concern the font faces commands
+and the conforming to 
+the {\em New Font Selection Scheme} (NFSS).
+
+\subsection{From {P\smaller[3]LAIN} \TeX}
+In this case, you have to take up your manuscript again,
+and replace title, theorems, sectioning and bibliographical commands, by the adequate ones, refering to the \LaTeXe\ user's guide and the recommendations above. We bring your attention
+to the automatic numbering of paragraphs and theoremlike environments: it might differ from the original one. Pay similar attention to your references.
+The macros \textsc{Plain} \TeX{} uses to change the typefaces
+are most often ineffective in \LaTeXe, so you'll have to adapt
+them too. Concerning mathematics, few changes are needed, except
+for aligned equations and matrices.
+
+
+
+\def\refname{L\MakeLowercase{iterature and 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 The Not So Short Introduction to LaTeX2e,} {\scshape T.\ Oetiker,
+H.\ Partl, I.\ Hyna, E.\ Schlegl,}
+\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}
+
+
+The most recent versions of macros files and of their documentations 
+are also available by anonymous \texttt{ftp} on the CTAN sites
+({\em Comprehensive TeX Archive Network\/})
+In the United States, one may use the address \texttt{ftp.shsu.edu};
+the sites 
+\texttt{ftp.loria.fr} or \verb|ftp.jussieu.fr| in France,
+\texttt{ftp.tex.ac.uk} in England, and 
+\texttt{ftp.dante.de} in Germany also
+hold the archive.
+
+\end{document}
+
+
diff --git a/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.pdf b/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.pdf
new file mode 100644
index 00000000000..0135ab15ff8
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.pdf
diff --git a/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.tex b/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.tex
new file mode 100644
index 00000000000..25b5e85ae41
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/smf-fdoc.tex
@@ -0,0 +1,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}
+
+
+
+
+
+
diff --git a/Master/texmf-dist/doc/latex/smflatex/smfdoc.tex b/Master/texmf-dist/doc/latex/smflatex/smfdoc.tex
new file mode 100644
index 00000000000..d6b477d291b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/smflatex/smfdoc.tex
@@ -0,0 +1,54 @@
+%%
+%% This is file `smfdoc.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% smflatex.dtx  (with options: `doc')
+%% BibTeX style for the smflatex bundle, version v1.6
+%% \CharacterTable
+%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%%   Digits        \0\1\2\3\4\5\6\7\8\9
+%%   Exclamation   \!     Double quote  \"     Hash (number) \#
+%%   Dollar        \$     Percent       \%     Ampersand     \&
+%%   Acute accent  \'     Left paren    \(     Right paren   \)
+%%   Asterisk      \*     Plus          \+     Comma         \,
+%%   Minus         \-     Point         \.     Solidus       \/
+%%   Colon         \:     Semicolon     \;     Less than     \<
+%%   Equals        \=     Greater than  \>     Question mark \?
+%%   Commercial at \@     Left bracket  \[     Backslash     \\
+%%   Right bracket \]     Circumflex    \^     Underscore    \_
+%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
+%%   Right brace   \}     Tilde         \~}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesFile{smfdoc.tex}[2020/11/05 v1.5f
+   Documentation LaTeX pour les classes et styles SMF]
+\documentclass{ltxdoc}
+\GetFileInfo{smfdoc.tex}
+\usepackage{amssymb,amstext}
+\usepackage[T1]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage[frenchb]{babel}
+ % \DisableCrossrefs  if index is ready
+ % Say \EnableCrossrefs if index is not ready
+\EnableCrossrefs
+\RecordChanges
+\CodelineIndex
+\setlength\hfuzz{15pt}  % dont make so many
+\hbadness=7000          % over and under full box warnings
+
+\IndexPrologue{\section*{Index} Les nombres en \usage{italique}
+d\'esignent les pages o\`u l'entr\'ee correspondante est d\'ecrite,
+ceux \main{soulign\'es} leur d\'efinition, et les autres signalent
+les endroits o\`u l'entr\'ee est utilis\'ee.}
+
+\begin{document}
+ \let\oldsection\section
+ \def\section{\clearpage\oldsection}
+ \DocInput{smflatex.dtx}
+\end{document}
+%%
+%% 
+%%
+%% End of file `smfdoc.tex'.