\input ensmath
\francais 
\input macutil
\input prtplain
\let\dxp=\deuxpoints
\def\upp#1{\leavevmode\raise.5ex\hbox{#1}}
\def\LaTeX{L\kern-.36em\upp{\sevenpol A}\kern-.15em \TeX}
%
\titrebref{\maj{Macros de {\sl L'Enseignement Math\'ematique}}}
\titre{\maj{Instructions pour l'utilisation des macros \par
de {\sl L'Enseignement Math\'ematique}}\footnote{}{\copyright\ {\sl 
L'Enseignement Math\'ematique\/} (Cette note a un argument vide!)}}

\auteurbref{D. F. Coray et P. Autres}
\auteur{Daniel Fran\ced{c}ois \sn{Coray} et Plusieurs \sn{Autres}
\footnote{*}{On peut attacher
une note en bas de page \`a peu pr\`es n'importe o\`u!}}
 
\abstract{
On explique ici comment utiliser les macros de {\sl L'Enseignement
Math\'ematique\/} et l'on donne quelques conseils\footnote{\gbp}{
Les notes en bas de page poss\`edent deux arguments, ce qui permet
d'avoir un premier argument vide: 
\\footnote/{\tt \lb\rb\lb...\rb}. C'est assez utile sur
la premi\`ere page d'un article. Sinon l'exposant est automatiquement
hauss\'e et la parenth\`ese ins\'er\'ee. 

On peut aussi vouloir num\'eroter les notes automatiquement. Il y a 
pour cela \\note/{\tt \lb...\rb}, avec un seul argument, qui num\'erote 
contin\^ument \`a partir de 1. Pour num\'eroter \`a partir de {\tt xxx}, 
il suffit de d\'efinir \\notenumber/{\tt =xxx}.}.}


\sec{1.}{Pour commencer}

Au d\'ebut du fichier, on \'ecrit typiquement
\note{Si elle est pr\'esente, l'instruction \\magnification/ doit 
pr\'ec\'eder toutes les autres.}:

\bgroup\setupverbatim
%\magnification=\magstep1
\input ensmath
\francais 
\input macutil|egroup\note{{\tt macutil.tex} est un fichier de macros 
utilitaires qui ne font pas partie de {\tt ensmath.tex}, mais dont 
l'usage est fortement recommand\'e: par exemple, pour \'ecrire des 
expressions comme $\Ubar_{\qqq}\rest{\PP^n}\: \norm{\SS^m}\rat \nb{\Ww}$ 
avec un codage tr\`es lisible:

{\tt\$\\Ubar/\_\lb\\qqq/\rb\\rest/\lb\\PP/\^{}n\rb\\: /\\norm/\lb\\SS/\^{}m\rb
\\rat /\\nb/\lb\\Ww/\rb\$}.

\noindent
Ces macros sont utilis\'ees souvent par l'imprimeur.}
\bgroup\setupverbatim
%
% Macros de l'auteur
%
\def\arc#1{\overset\frown\to{\ttvvii\smash{#1}}} 
\def\SA{{\bf SA}}
\def\hff{\hskip 1cm minus 1cm}
\let\phi=\varphi
%
\titrebref{\maj{Macros de {\sl L'Enseignement 
Math\'ematique}}}
\titre{\maj{Instructions pour l'utilisation des macros \par
de {\sl L'Enseignement Math\'ematique}}}
 
\auteurbref{D. F. Coray et P. Autres}
\auteur{Daniel Fran\ced{c}ois \sn{Coray} et 
Plusieurs \sn{Autres}\footnote{*}{On peut attacher
une note en bas de page \`a peu pr\`es n'importe o\`u!}}
 
\resume{On explique ici comment utiliser les macros de {\sl 
L'Enseignement Math\'ematique\/} et l'on donne quelques 
conseils\footnote{\gbp}{...}.}

\sec{1.}{Pour commencer}

|egroup

L'indication \\francais/ fait \'ecrire `par', et non `by', devant le 
nom des auteurs. Elle transforme \'egalement \\abstract/ en 
`{\smc R\'esum\'e}' au lieu de `{\smc Abstract}'. Il est aussi 
possible d'\'ecrire \\resume/, mais dans le cas d'un mot comme 
`{\smc D\'efinition}', seule l'indication \\francais/ indique 
l'accent aigu sur la lettre {\smc e}.

Les autres langues pr\'evues sont l'allemand (\\deutsch/ ou \\allemand/)
et l'italien (\\italiano/ ou \\italien/). Par d\'efaut, la langue
choisie est l'anglais, mais il est aussi possible de le sp\'ecifier 
(\\english/ ou \\anglais/). 

La forme g\'en\'erale est \\EMabstract/, avec deux arguments. Par
exemple:
\bgroup\setupverbatim\EMabstract{Exhaustive Summary}{...}|egroup
\ \'ecrit:\vskip 2mm
\EMabstract{Exhaustive Summary}{\dots}

Il vaut mieux \'ecrire \\titrebref/ et \\auteurbref/ avant
\\titre/ et \\auteur/. En effet, en l'absence de ces indications,
on utilise \\titre/ et \\auteur/ comme formes br\`eves, mais cela
conduit souvent \`a des messages d'erreur bizarres d\^us \`a la
longueur de l'argument ou \`a la pr\'esence de caract\`eres inhabituels.
Au lieu d'utiliser \\maj/, on peut bien entendu \'ecrire directement
tout en majuscules. Cela peut m\^eme \^etre indispensable si le titre
contient des symboles math\'ematiques, comme $\PP^n$, qu'on ne veut
pas transformer en $\PP^N$.

Dans \\auteur/, noter l'emploi de \\sn/ pour indiquer le nom de famille
(`surname'), qui doit \^etre mis en petites capitales.

Tous ces ordres ins\`erent automatiquement les espaces verticaux corrects.
Il ne faut donc jamais rien ajouter \`a cet effet, sauf en cas de 
n\'ecessit\'e absolue. 

\sec{2.}{Sections, th\'eor\`emes, etc.}

{\sl L'Enseignement Math\'ematique\/} distingue trois types de
paragraphes, qui correspondent aux ordres \\sec/ et \\subsec/, qui
ont chacun \underbar{deux} arguments, et \\parag/ avec un seul argument.
Tous ces ordres ins\`erent automatiquement les espaces verticaux corrects,

\\parag/ utilise son argument comme titre et continue sur la m\^eme 
ligne. Cela permet des combinaisons int\'eressantes, en particulier 
avec l'ordre \\proclaim/. En effet \\proclaim/ ne passe \`a la 
ligne que s'il est en mode vertical\note{Il ne faut donc pas oublier
de laisser une ligne blanche avant les ordres \\proclaim/, \\theoreme/,
etc. si l'on veut que l'\'enonc\'e commence sur une nouvelle ligne!}.
On a donc les situations suivantes:

\bgroup\setupverbatim
\parag{2.5} Il r\'esulte du lemme de Schwarz que ...
|egroup 

\vskip-3mm\penalty0
\parag{2.5} Il r\'esulte du lemme de Schwarz que \dots

\bgroup\setupverbatim
\lemme{2.5 (Schwarz)}{
$\nb{a\pnt b}\le \norm{a}\pnt\norm{b}$.}|egroup 

\vskip-3mm\penalty0
\lemme{2.5 (Schwarz)}{
$\nb{a\pnt b}\le \norm{a}\pnt\norm{b}$.}

\removelastskip
\bgroup\setupverbatim
\parag{2.5}\lemme{(Schwarz)}{
$\nb{a\pnt b}\le \norm{a}\pnt\norm{b}$.}|egroup 

\vskip-3mm\penalty0
\parag{2.5}\lemme{(Schwarz)}{
$\nb{a\pnt b}\le \norm{a}\pnt\norm{b}$.}

La forme g\'en\'erale est \\proclaim/ avec deux arguments. Cela
permet d'\'ecrire:

%\vskip-3mm\penalty0
\bgroup\setupverbatim\proclaim{Th\'eor\`eme des diff\'erences finies \rm(Karpov)}{
...}|egroup

\vskip-3mm\penalty0
\proclaim{Th\'eor\`eme des diff\'erences finies \rm (Karpov)}{\dots}

Les \'enonc\'es sont donc toujours entour\'es d'accolades. Le syst\`eme
est r\'egl\'e pour \'eviter au maximum les coupures \`a des endroits
inadapt\'es. 

Les p\'enalit\'es qui g\`erent cela sont au nombre de trois: 
\\smallpenalty/, \\medpenalty/ et \\bigpenalty/. Par d\'efaut,
\\proclaim/ utilise \\bigpenalty/, qui interdit de couper un alin\'ea.
Mais des p\'enalit\'es plus basses sont appliqu\'ees \`a des ordres comme 
\\definitions/, \\exemple(s)/ et \\remarque(s)/, qui contiennent parfois
des alin\'eas fort longs\note{
Ceci est important pour les auteurs qui doivent d\'efinir pour eux-m\^emes 
des ordres comme \\hypothese/ ou \\consequence/, etc.}.

\sec{3.}{D\'emonstrations}

\\proof/ \'ecrit {\it Proof\/} en anglais, {\it D\'emonstration\/} en 
fran\ced{c}ais, etc. Il y a aussi \\preuve/ pour \'ecrire {\it Preuve\/}. 
Ces macros ont pour param\`etre toute la d\'emonstration.
La forme g\'en\'erale est \\EMdemo/ avec deux param\`etres. Il peut \^etre 
utile de supprimer le point \`a la fin; il y a pour cela l'ordre\note{
utilisable aussi avec d'autres ordres; en particulier avec \\proclaim/, 
etc.} \\noperiod/.

\bgroup\setupverbatim
\EMdemo{Preuve du lemme principal|dxp\noperiod}{
Cela d\'ecoule imm\'ediatement du fait que $\pi$ est non 
nul.\qed}|egroup

\EMdemo{Preuve du lemme principal:\noperiod}{
Cela d\'ecoule imm\'ediatement du fait que $\pi$ est non nul.\qed}

A noter que toute la d\'emonstration est entre accolades. Cela permet
de bien g\'erer les espaces avant et apr\`es et d'indiquer visuellement
o\`u se termine l'argument. \\EMdemo/ avec un argument vide est parfois 
appropri\'e, pour un passage qui fonctionne comme une d\'emonstration
sans \^etre introduit par un mot sp\'ecifique.

Le carr\'e blanc est cod\'e \\qed/. Dans de rares cas, il peut \^etre 
n\'ecessaire de le mettre au bout de la ligne. Pour cela, il y a \\cqfd/.

\bgroup\setupverbatim
\proof{Cela d\'ecoule imm\'ediatement du fait que $\pi$ est 
non nul.\cqfd}|egroup

\proof{Cela d\'ecoule imm\'ediatement du fait que $\pi$ est non 
nul.\cqfd}

\sec{4.}{Alin\'eas}

Vu que l'indentation n'est que de 5mm, l'ordre \\item/ fonctionne souvent
assez mal: \bgroup\setupverbatim\item{(a)}|egroup\ fait p\'en\'etrer la
parenth\`ese gauche dans la marge! C'est pourquoi il existe trois ordres
nouveaux\note{
A noter que ces ordres ins\`erent un espace vertical de 2~points avant
chaque {\it item\/}; c'est l'un des rares cas o\`u il peut \^etre
n\'ecessaire d'ajouter un espace vertical explicite (apr\`es le dernier
{\it item\/}) si cet espace n'est pas d\'ej\`a fourni par la fin d'un 
\'enonc\'e, d'une page, ou toute autre situation \`a \'evaluer de cas 
en cas.}, \\smallitem/, \\meditem/ et \\bigitem/, qui indentent 
respectivement de 6, 7 et 8mm:

\item{iii)} Illustration de \\item/. 

\smallitem{a')} Illustration de \\smallitem/. (L'aligne\-ment se fait 
sur le bord gauche de la page.)

\meditem{(a)} Illustration de \\meditem/. 
\meditem{(a')} Illustration de \\meditem/. (Ici, les parenth\`eses droites
sont align\'ees.)

\bigitem{viii)} Illustration de \\bigitem/. 

\sec{5.}{Bibliographie}

On distingue trois types de r\'ef\'erences: simples, avec \'etiquettes, 
ou bien num\'erot\'ees. Ces diff\'erents types sont introduits, 
respectivement, par \\begref/, \\begreflab/ et \\begrefnum/. Dans ce 
dernier cas, les num\'eros sont ins\'er\'es automatiquement. Voici des 
exemples:
 
\vskip -6mm\penalty0
\begref{R\'ef\'erences simples}
 
\ref {\smc Barbier, E.} Note sur le probl\`eme de l'aiguille.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it The 
enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
 
\endref

\bgroup\setupverbatim
\begref{R\'ef\'erences simples}
\ref {\smc Barbier, E.} Note sur le probl\`eme de l'aiguille.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it The 
enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
\endref|egroup
 
\vskip -6mm\penalty0
\begreflab{R\'ef\'erences avec \'etiquettes}{1.2cm}
\ref B {\smc Barbier, E.} Note sur le probl\`eme de l'aiguille.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref B1 \EMdash Note sur le probl\`eme de l'aiguille, II.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref RT {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it 
The enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
\endref
 
\bgroup\setupverbatim
\begreflab{R\'ef\'erences avec \'etiquettes}{1.2cm}
\ref B {\smc Barbier, E.} Note sur le probl\`eme de 
l'aiguille. {\it J.~Math. Pures Appl. (2)~5\/} (1860), 
273--286.
 
\ref B1 \EMdash Note sur le probl\`eme de l'aiguille, II.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref RT {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it 
The enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
\endref|egroup
 
\remarque{}{
Il faut mettre un espace \`a la fin de l'\'etiquette. Si celle-ci
comporte un blanc, il faut donc le remplacer par \TIL. Mais il vaut 
mieux \'eviter les \'etiquettes de cette forme.}

\vskip -6mm\penalty0
\begrefnum{R\'ef\'erences num\'erot\'ees}
\ref {\smc Barbier, E.} Note sur le probl\`eme de l'aiguille.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref \EMdash Note sur le probl\`eme de l'aiguille, II.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it The 
enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
\endref

\bgroup\setupverbatim
\begrefnum{R\'ef\'erences num\'erot\'ees}
\ref {\smc Barbier, E.} Note sur le probl\`eme de l'aiguille.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.

\ref \EMdash Note sur le probl\`eme de l'aiguille, II.
{\it J.~Math. Pures Appl. (2)~5\/} (1860), 273--286.
 
\ref {\smc Rademacher, H. {\rm and}  O. Toeplitz.} {\it The 
enjoyment of Mathematics.\/} Princeton Univ. Press 1970.
\endref|egroup

\sec{6.}{Illustrations}

Le codage des figures postscript est le suivant:

\bgroup\setupverbatim
\begfig{1.0cm}|egroup\hfill\hbox to 6cm{{\tt\%\%} donner la hauteur pr\'ecise 
du dessin\hfill}
\bgroup\setupverbatim
\largeurfig=4.4cm|egroup\hfill\hbox to 6cm{{\tt\%\%} indiquer la largeur 
pr\'ecise du dessin\hfill}
\bgroup\setupverbatim
\deplacefig=1mm|egroup\hfill\hbox to 6cm{{\tt\%\%} d\'eplacement de 1mm 
vers la droite\hfill}
\bgroup\setupverbatim
\montefig=-1mm|egroup\hfill\hbox to 6cm{{\tt\%\%} d\'eplacement de 1mm vers 
le bas\hfill}
\bgroup\setupverbatim  
\figinsert{fig2.ps}
\figure2{L\'egende}
\endfig|egroup

\begfig{1.0cm}          
\largeurfig=4.4cm
\deplacefig=1mm        
\montefig=-1mm           
\figinsert{fig2.ps}
\figure2{L\'egende}
\endfig

\sec{7.}{Table des mati\`eres}

Le codage est le suivant:
\bgroup\setupverbatim
\begmat
\ssec{Chapitre~5}{Instructions pour l'utilisation des macros 
de {\sl L'En\-sei\-gnement Math\'ematique}}\pp 61
\s{5.1} Pour commencer\pp 62
\ss{5.1.1} Pour continuer \pp 65
\ss{5.1.2} Pour continuer de mani\`ere longue et 
int\'eressante et tr\`es amusante \pp 68
\art Une variante longue et int\'eressante et attrayante 
et amusante, pour rire  \pp 75
\endmat|egroup

\noindent
d'o\`u le r\'esultat:

\begmat
\ssec{Chapitre~5}{Instructions pour l'utilisation des macros 
de {\sl L'En\-sei\-gnement Math\'ematique}}\pp 61
\s{5.1} Pour commencer\pp 62
\ss{5.1.1} Pour continuer \pp 65
\ss{5.1.2} Pour continuer de mani\`ere longue et 
int\'eressante et tr\`es amusante \pp 68
\art Une variante longue et int\'eressante et attrayante 
et amusante, pour rire  \pp 75
\endmat

\sec{8.}{Num\'erotation automatique}

Nos macros comportent une version assez simple de num\'erotation 
automatique, qui est annonc\'ee par l'ordre \\latex/:
\bgroup\setupverbatim
\latex
\sec{\\/}{Introduction}|egroup

\noindent
(Le paragraphe est num\'erot\'e de mani\`ere cons\'ecutive, mais son
num\'ero n'est pas retenu, contrairement au paragraphe ``Contexte''
ci-dessous.)

\noindent
\\indent/\note{cf. d\'ebut du \S2 (\S2.1)}
\bgroup\setupverbatim
\theoreme{\\homo/}{Soit $q$ un nombre premier. Alors 
$q$ divise $B$.}  

Il r\'esulte du th\'eor\`eme \ref{homo} que $q$ divise $B$. 
Voir aussi la formule \ref{pref} ci-dessous dans 
le \S\ref{back}.

\sec{\\back/}{Contexte}
On a aussi les formules suivantes:
$$\align
A&=B  \tag\?pref \\
C&=D  \tag\?
\endalign
$$|egroup

\noindent
(Le num\'ero de la premi\`ere formule est m\'emoris\'e, mais pas celui
de la seconde.)

\latex\vskip -5mm\penalty0
\sec{\\/}{Introduction}

\indent
\theoreme{\\homo/}{Soit $q$ un nombre premier. Alors 
$q$ divise $B$.}  

Il r\'esulte du th\'eor\`eme \ref{homo} que $q$ divise $B$. 
Voir aussi la formule \ref{pref} ci-dessous dans le \S\ref{back}.

\removelastskip\vskip -6mm\penalty0
\sec{\\back/}{Contexte}

On a aussi les formules suivantes:
$$\align
A&=B  \tag\?pref \\
C&=D  \tag\?
\endalign
$$

\medskip
Ce n'est bien s\^ur qu'au deuxi\`eme passage que la num\'erotation
est correcte. (Au premier passage, un fichier {\tt .aux} est cr\'e\'e.)

\sec{9.}{Quelques conseils plus techniques}

\subsec{}{dollars:}
Une erreur fr\'equente chez de nombreux auteurs est de laisser la 
ponctuation \`a l'int\'erieur des dollars. Cela complique singuli\`erement
le travail de \TeX\ (en particulier pour les coupures de ligne). A part
quelques cas simples (comme \bgroup\setupverbatim $i=1,2,3$|egroup), il
faut \^etre tr\`es coh\'erent et ne pas \'ecrire des choses du genre:
\bgroup\setupverbatim
|qquad Si $i=5,$ on a $A\ni b,c|string;$ mais alors $A=n.$|egroup 

\noindent
Il faut donc imp\'erativement \'ecrire:
\bgroup\setupverbatim
|qquad Si $i=5$, on a $A\ni b,c$|string; mais alors $A=n$.|egroup 

Ceci est une r\`egle absolue. L'unique exception concerne les formules 
entre doubles dollars pour lesquelles la ponctuation doit 
n\'ecessairement \^etre \`a l'int\'erieur! (Le lecteur voit-il pourquoi?)

Soit dit en passant, le XX\EMraise{\sevenpol \`eme} si\`ecle 
se code sans dollars: 

\bgroup\setupverbatim XX\EMraise{\sevenpol \`eme} si\`ecle|egroup\ 
(ou bien \\sevenpolit/ si les lettres sup\'erieures doivent \^etre 
en italiques).

\subsec{}{\\break/ et \\nobreak/:}
On conseille de ne jamais utiliser \\break/. Il vaut mieux chercher
\`a emp\^echer des coupures inappropri\'ees \`a l'aide de \TIL\ ou
de \\nm/ (abr\'eviation pour \\nomathbreak/), ou encore de {\tt\@-} 
(en mode non-math\'ematique):

\vskip-3mm\penalty0
\bgroup\setupverbatim
le lemme~2
Let $B=2$. A~number ...|egroup  

\noindent
(pour \'eviter de lire $B=2\pnt A$ au cas o\`u A deviendrait le 
dernier caract\`ere de la ligne!)
\bgroup\setupverbatim
$B=C+\nm \int f(x)\, dx$
un 2@-groupe, a $d$@-dimensional space
|egroup

\subsec{}{deux points:}
Admirateurs de \LaTeX: l'emploi de \\\dxp/ (au sens d'un espace
interm\'ediaire entre \\,/ et \\;/) est proscrit. Utiliser uniquement
\\,/ ou \\;/ dans ce sens.

Au contraire, en \AmSTeX\ on fera syst\'ematiquement usage de
\\\dxp/\ (ou de \\colon/, qui a \'et\'e rendu synonyme) pour les 
applications d'un ensemble dans un autre: 
\bgroup\setupverbatim $f\|dxp A\to B$|egroup\ ou 
\bgroup\setupverbatim $f\colon A \to B$|egroup. 
Les fervents de \LaTeX\ emploieront \\colon/ \`a cet effet. Dans tous 
les autres cas, on se sert de ``{\tt\dxp}'' sans aucune marque d'espace 
avant ou apr\`es:
\bgroup\setupverbatim 
l'index $(G|dxp|egroup{\tt H}\bgroup\setupverbatim)$|egroup

Noter la diff\'erence:
$$
f:A\to B \text{ (faux)},\qquad f\:A\to B \text{ (correct)},\qquad 
\text{l'index $(G:H)$} \text{ (correct)}.
$$

\proclaim{Exception}{\rm Les adresses Internet se codent comme suit:}
\removelastskip\vskip-4mm
\bgroup\setupverbatim
{\tt http\deuxpoints//www.unige.ch/$\ms\sim$/gif}|egroup:

{\tt http\deuxpoints//www.unige.ch/$\ms\sim$/gif}

\remarque{}{Dans le texte, les espacements avant et apr\`es deux points 
\'etant g\'er\'es automatiquement, il ne faut jamais \'ecrire 
{\tt $\ms\sim$\dxp} dans le codage.}

\subsec{}{points:}

Pour les points de suspension, utiliser exclusivement \\dots/. En tout 
cas pas: {\tt ...}, qui fournit ... ! Ce n'est que dans des cas tr\`es 
exceptionnels que \\cdots/ ou \\ldots/ se justifient. 
L'exemple suivant illustre le comportement habituel de \AmSTeX;
c'est un des cas o\`u justement beaucoup d'auteurs d\'esireront une
typographie diff\'erente:
$$
A+\dots +B\cdot C = D\dots E\,\dots \int_a^b f(x_1)\dots f(x_n)\, dx
+\dots
$$
(cod\'e:
\bgroup\setupverbatim
$$
A+\dots +B\cdot C = 
D\dots E\,\dots \int_a^b f(x_1)\dots f(x_n)\, dx + \dots
$$|egroup).

Pour les actions de groupe et autres combinaisons du m\^eme genre,
utiliser \\pnt/, qui donne une bien meilleure lisibilit\'e que {\tt .} 
ou \\ldotp/:
$$
g\pnt A = \sin\alpha \pnt \cos\beta\pnt\pmatrix a &b\\ c &d\endpmatrix
$$

\subsec{}{\\mathsurround/:}
Les macros de {\sl L'Enseignement Math\'ematique\/} ins\`erent 
automatiquement un espace de 1~point \`a gauche et \`a droite des
expressions math\'e\-ma\-tiques.

Cet espace peut \^etre supprim\'e par l'ordre \\ms/, ce qui se justifie
en particulier dans les cas suivants:

\noindent
Gel$\ms'$fand s'\'ecrit: \bgroup\setupverbatim Gel$\ms'$fand|egroup.
\quad (Sans \\ms/, on obtiendrait:~Gel$'$fand.)

Les fonctions $\ms C^{@,@,0}$-diff\'erentiables s'\'ecrivent:

\noindent
\bgroup\setupverbatim $\ms C^{@,@,0}$@-diff\'erentiables|egroup.
\quad
(Sans \\ms/, on apercevrait un ``trou'' entre l'exposant $0$
et le tiret: $C^{@,@,0}$@-diff\'erentiables.)

\subsec{}{Espaces:}
On dispose de nombreuses variantes pour les espaces horizontaux: 
\line{\\,/\hfill \\;/\hfill \\enspace/\hfill \\quad/\hfill \\EMquad/ 
(cadratin compressible)\hfill \\qquad/,~etc.} 

\noindent 
Le plus petit est \bgroup\setupverbatim @,|egroup\ pour des r\'eglages 
tr\`es fins.

Il y a aussi des espaces arri\`ere, comme \\!/; c'est ainsi que $\Hbar$ 
est cod\'e\note{Il y a aussi \\Hhat/, \\Htilde/, etc.}
dans {\tt macutil.tex}:%
\bgroup\setupverbatim \def\Hbar{{\,\overline{\!H}}}|egroup

\noindent
(\\overline H/ ne place pas correctement la barre au-dessus du
$H$: $\overline H$).

Ne pas oublier non plus la correction d'italiques:% 
\bgroup\setupverbatim\/|egroup.

\subsec{}{Tableaux et alignements:}

Utiliser de pr\'ef\'erence un codage avec \\halign/, comme dans 
l'exemple suivant:

\bgroup\setupverbatim
\def\tvii{\vrule height 12.3pt depth 5.6pt width 0pt}%
$$
\vbox{\offinterlineskip
\halign{\vrule\tvii\hfq#\quad &\vrule\hfq#\hfq 
&\vrule\quad#\hfq\tvii\vrule\cr
\noalign{\hrule}
9&Centr\'e&Justifi\'e \`a gauche\cr
\noalign{\hrule}
10&$x_1^2x_3+x_2^2x_4$&Parapluie de Whitney\cr
\noalign{\hrule}
}}
$$|egroup

\def\tvii{\vrule height 12.3pt depth 5.6pt width 0pt}%
$$\predisplaypenalty=-10000
\vbox{\offinterlineskip
\halign{\vrule\tvii\hfq#\quad &\vrule\hfq#\hfq &\vrule\quad#\hfq
\tvii\vrule\cr
\noalign{\hrule}
9&Centr\'e&Justifi\'e \`a gauche\cr
\noalign{\hrule}
10&$x_1^2x_3+x_2^2x_4$&Parapluie de Whitney\cr
\noalign{\hrule}
}}
$$

\remarque{}{Attention aux espaces parasites, qui d\'etruisent les 
alignements: il faut veiller \`a ne mettre aucun espace suppl\'ementaire 
avant ou apr\`es les symboles~{\tt\&}.}

\subsec{}{Fontes suppl\'ementaires:}
\loadeurm\loadeurb\loadeufb
Pour employer les nouvelles fontes $\eurm eurm$, $\eurb eurb$, $\eufb eufb$,
etc., il convient de les charger avant leur premi\`ere utilisation, par 
l'un des ordres \\loadeurm/, \\loadeusm/, \\loadeurb/, \\loadeusb/, 
\\loadeufb/ ou \\loadeuex/. Ensuite on peut les appeler simplement
sous la forme \\eurm/, \\eufb/, etc. Mais il n'est pas possible d'en
invoquer plus de quatre simultan\'ement, puisque \TeX\ n'accepte pas plus
de 16 d\'efinitions de fontes dans un m\^eme groupe.

\input cyracc.def \font\tencyr=wncyr10 \def\russe{\tencyr\cyracc}
Pour le cyrillique, utiliser une d\'efinition du style: 
\bgroup\setupverbatim
\input cyracc.def 
\font\tencyr=wncyr10 
\def\russe{\tencyr\cyracc}|egroup,
\dots {\russe kak v \`etom primere.}

\sec{10.}{Pour terminer}

L'adresse figure \`a la fin avec \\/\\/ pour s\'eparer
le nom du ou des auteurs du reste de l'adresse:

\bgroup\setupverbatim
\adresse
Daniel Coray
Plusieurs Autres \\
Section de Math\'ematiques
Case postale 240
CH-1211 Gen\`eve 24
Suisse
\email{EnsMath\@math.unige.ch}
\endadresse|egroup

\adresse
Daniel Coray
Plusieurs Autres \\
Section de Math\'ematiques
Case postale 240
CH-1211 Gen\`eve 24
Suisse
\email{EnsMath\@math.unige.ch}
\endadresse

\bye
