Vous êtes sur la page 1sur 43

TP dinitiation L

A
T
E
X
Ludovic Goudenge

Mathieu Leroy-Lertre

Grgory Vial

22 mars 2010
ENS Cachan Bretagne
Rsum
Lapprentissage de L
A
T
E
X nest pas une tche aise : beaucoup dinformations
existent et il est dicile de faire le tri tout seul ; de plus, un habitu des logiciels de
traitement de texte sera sans doute troubl lors de ses premiers pas. L
A
T
E
X ncessite
donc une initiation, que le prsent document se propose de fournir sous la forme
dun TP/cours.
Quapporte ou non ce TP dinitiation ? Il propose des bases pour dbuter en
L
A
T
E
X et un survol de beaucoup de possibilits : cest un point de dpart avant de
consulter des rfrences plus compltes. En consquence, ce document nest volon-
tairement pas exhaustif (sinon, il serait au moins quatre fois plus long !).
qui sadresse-t-il ? Ce TP dinitiation est prvu pour une sance de 4 heures
sur ordinateur, destine des tudiants en mathmatiques et en mcatronique, de
niveau L3, nayant jamais (ou peu) utilis L
A
T
E
X et devant raliser un document
de moyenne taille (10 60 pages). Il conviendra aussi toute personne souhaitant
dcouvrir cet outil.
Comment est-il organis ? Le dbut sert de support la sance de TP : les
sections 1 et 2 permettent de savoir ce quest L
A
T
E
X, avant daborder la section 3
qui constitue le cur de cette initiation. La section 4 prsente un aperu de fonc-
tionnalits utiles (mise en page, inclusion dimage, ottant, graphique, prsentation
vidoprojete). Enn, des rgles typographiques et des explications volontairement
clipses au cours du TP (lments dinstallation, prsentation de quelques packages,
encodage, commandes personnelles, . . .) gurent en annexe.

ludovic.goudenege[@]bretagne.ens-cachan.fr.

mathieu.leroy-leretre[@]ens-cachan.org.

gregory.vial[@]bretagne.ens-cachan.fr.
1
1 Prsentation de L
A
T
E
X
Voyons dans cette section quelques mots introductifs pour dcrire L
A
T
E
X et voir ce que signie
faire du L
A
T
E
X .
1.1 Intrt et utilit
L
A
T
E
X, logiciel libre et gratuit, disponible sous Linux, Mac OS et Windows, est un ou-
til de composition performant conu pour la rdaction de documents scientiques de
qualit : il conviendra en particulier toute personne ayant besoin de dactylographier
un texte contenant des quations, des symboles, etc. Toute publication de recherche en
mathmatiques est faite avec L
A
T
E
X et son utilisation stend dautres disciplines :
physique, informatique ou chimie par exemple. Il sagit aussi dun outil ecace dans
lenseignement pour rdiger des supports de cours. Son usage est donc loin dtre rserv
des spcialistes !
la dirence des traitements de texte usuels (tel MS Word), il ne sagit pas dun logiciel
dit WYSIWYG
1
mais plutt dun langage quil faut ensuite compiler pour voir le
rsultat ; cest pour cela que la prise en main est un peu plus longue.
Remarquons ds maintenant que L
A
T
E
X ne se limite pas lcriture dquations : en
pouvant grer tout seul la mise en page, la cration dune table des matires et plein
dautres choses, il permet lutilisateur de se concentrer sur le fond (i.e. le contenu du
texte quil crit) sans se proccuper de la forme.
1.2 Prise en main
Rdiger un document en L
A
T
E
X se fait en plusieurs tapes.
1. Saisie du code source : on cre un chier avec lextension .tex (que nous appelons
ici TP_init.tex) et lon tape son code dans un diteur de texte.
2. Compilation du chier source : cest ici que lon fait appel L
A
T
E
X, qui est un
programme autonome ; cela cre plusieurs chiers, dont TP_init.dvi.
3. Prvisualisation du chier dvi : on observe lcran TP_init.dvi pour voir sil
ache bien ce quon voulait ; sinon, on corrige le chier source.
4. Impression ou diusion : on convertit son chier au format pdf, pour limprimer
ou le transmettre quelquun.
Ces quatre tapes sont trs simples, mais les outils pour les mettre en place ne portent pas
les mmes noms selon que lon est sous un environnement Linux, Mac OS ou Windows.
Nous renvoyons lannexe B.1.1, o des informations techniques sont rsumes ; elles
sont cependant inutiles pour le bon droulement du TP.
1. Acronyme de what you see is what you get, traduisible par ce que vous voyez est ce que vous
obtenez ; autrement dit : le texte que lon tape est le texte qui apparait.
2
2 Structure dun chier .tex
Le chier .tex est cr partir dun diteur de texte. Il possde en gnral le squelette
suivant :
la commande \documentclass{} qui indique quelle classe (ou quel type) de docu-
ment lon souhaite rdiger ;
le prambule, o lon indique des options, des prfrences et des choix pour la
compilation ;
le corps de document, dlimit par \begin{document} et \end{document}, o
rside le texte lui-mme.
Plus prcisment, le prambule contient habituellement deux catgories dinformations :
les packages, qui regroupent des commandes destines amliorer
2
lutilisation de
certaines fonctionnalits ou crer dautres commandes. Il en existe un trs grand
nombre et il serait illusoire de vouloir tous les dcrire ici (cf. B.3.3). Pour utiliser
un package, il faut le charger ;
les macros ou commandes personnelles (de lutilisateur), une des richesses de
L
A
T
E
X que nous ne ferons queeurer (cf. B.4).
Lobjectif de ce TP tant une prise en main de L
A
T
E
X, nous nous limiterons la classe
article, ainsi quaux packages de base qui sont (presque) incontournables pour un
document rdig en langue franaise (voir la gure 1) ; ceux-ci sont expliqus en an-
nexe B.3.1.
\documentclass[12pt]{article}
\usepackage[<option choisir>]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[a4paper]{geometry}
\usepackage[frenchb]{babel}
\usepackage{amsmath, amssymb}
_

_
Prambule
\begin{document}
Bienvenue en sance de TP !
_

_
Corps de document
\end{document}
Figure 1 Exemple de chier source minimal .
2. Au sens rendre plus exible ou plus facile.
3
3 Dcouverte de L
A
T
E
X
Lobjet de ce paragraphe est dutiliser les outils de base de L
A
T
E
X travers des exemples, des
remarques, des conseils et des exercices. Laccent est mis sur les outils mathmatiques.
3.1 Dmarrage avec T
E
XnicCenter
Les ordinateurs des salles informatiques de lAntenne sont quips de Linux et Windows :
nous utiliserons Windows, avec les consignes suivantes.
0. Lancez T
E
XnicCenter.
1. Recopiez lexemple de chier source propos la gure 1, en remplaant <option
choisir> par cp1252
3
.
Remarquons tout de suite quen gnral, une commande sapplique un argument parfois
accompagn dune option :
la commande commence par un \,
largument(s) obligatoire(s) est mis entre { },
loption(s) est mise entre [ ].
Ainsi, \usepackage[cp1252]{inputenc} signie que lon charge un package : il sagit
de inputenc, utilis avec loption cp1252.
2. Enregistrez le chier (sous le nom TP_init.tex par exemple).
3. Compilez (en choisissant LaTeX => DVI puis en cliquant sur la 2
e
icne droite,
intitule Build current le (Ctrl+F7) ).
4. Prvisualisez (en cliquant sur la 4
e
icne droite, intitule View output (F5) ) ;
cette tape ouvre une fentre achant le chier dvi.
5. Observez alors lcran que ce qui est crit dans le corps de document est ach.
Si le caractre accentu napparait pas correctement, cest quil y a un problme denco-
dage : lisez alors la note de bas de page n
o
3 puis changez, au choix, loption du package
inputenc ou lencodage de votre diteur (an quils concident tous les deux!).
Lenregistrement ci-dessus est fait une fois pour toutes : il est dornavant inutile de sauve-
garder votre chier avant chaque compilation. De plus, si vous laissez la fentre achant
le chier dvi ouverte, il est aussi inutile de re-cliquer sur licne de prvisualisation :
cette fentre se mettra jour ds que vous compilerez de nouveau.
6. Obtenez un pdf (en slectionnant au choix
4
LaTeX => PDF ou LaTeX => PS =>
PDF puis en cliquant sur les mmes icnes que ci-dessus).
Conseil. Utiliser systmatiquement les packages de la gure 1, dont une courte descrip-
tion gure en annexe B.3.1.
3. Cela occulte un dtail technique : la notion dencodage. Plus dexplications gurent en annexe B.3.2,
lire imprativement si vous ou une personne avec laquelle vous travaillez tes susceptibles dutiliser un
autre systme dexploitation (ce qui sera sans doute le cas. . .). En eet, il faudra alors crire autre chose
que cp1252 pour pouvoir utiliser les accents du clavier sans problmes.
4. Ce choix importe peu pour linstant ; nanmoins, ce ne sera pas toujours le cas (cf. B.1.2).
4
3.2 Composition simple
Nous prsentons ici quelques outils de mise en forme dont on a lhabitude dans les logiciels
de traitement de texte.
Commenons par deux exemples :
Voici un exemple simple pour voir
comment sutilisent, avec \LaTeX,
la mise en \textbf{gras}, les
formes \textit{italique},
\textsc{petites capitales} et les
familles \texttt{type machine},
\textsf{sans empattement}.
Voici un exemple simple pour voir comment
sutilisent, avec L
A
T
E
X, la mise en gras, les
formes italique, petites capitales et les
familles type machine, sans empattement.
On peut aussi changer la taille des
fontes en {\small petit}, {\tiny
minuscule}, {\large grand},
{\huge norme},~etc.
On peut aussi changer la taille des fontes
en petit, minuscule, grand, norme, etc.
Quelques remarques simposent :
les accents, sils ne sont pas sur le clavier, sont cods laide de \ ou \ ou \, etc.
(\e donnera un ) ; la cdille sobtient avec \c{} (\c{C} donnera un ) ;
on na pas utilis de la mme manire les commandes dans les deux exemples
ci-dessus : dans le premier, les commandes sappliquent un argument ; dans le
second, elles appliquent le changement tout ce qui suit : il faut alors les isoler
pour cibler leur action ;
les accolades {} permettent disoler un groupe an que certains attributs ne sap-
pliquent pas au reste du document (\tiny par exemple) ;
les caractres \ et {} ne sachent pas lcran mais sont interprts par L
A
T
E
X
5
;
pour passer la ligne (cest--dire dbuter un nouveau paragraphe), on utilisera
systmatiquement la touche entre du clavier deux fois
6
;
on utilisera \emph{} pour mettre en valeur du texte, et non pas \textit{}.
Deux autres exemples :
Pourquoi recommander la commande
dite d\emph{emphase} celle d
\textit{italique} ? \textit{Parce
que dans une phrase en italique,
l\emph{emphase} ressort mais
pas l\textit{italique} !}
Pourquoi recommander la commande dite
demphase celle ditalique ? Parce que
dans une phrase en italique, l emphase res-
sort mais pas litalique !
5. Il existe dix de ces caractres, dits spciaux ou rservs ; cf. [lshort-fr] pour en voir la liste et savoir
les acher lcran quand mme.
6. Lutilisation de la commande \\ pour cette usage est proscrire, sauf dans lnonc dun titre.
5
Conseil. Pour mettre en valeur, proscrire lusage du soulign (\underline{}) et viter
celui du gras : utiliser la commande \emph{}.
Ce mot est \tiny minuscule mais
tout ce qui suit aussi car il
nest pas dans un groupe.
Ce mot est minuscule mais tout ce qui suit aussi car il
nest pas dans un groupe.
3.3 Mathmatiques 1
L
A
T
E
X est prvu pour rdiger des formules mathmatiques ; il existe deux modes math-
matiques :
le mode en ligne, utilis pour insrer des symboles ou des formules (souvent courtes)
dans une ligne de texte, au cours dune phrase. Il sobtient via la syntaxe $ $ ;
le mode hors-texte, permettant dcrire une formule sur une ligne part, centre, au
moyen de la syntaxe \[ \]
7
.
Considrons tout de suite des exemples.
Soit la fonction $f$, dfinie
par $f(x)=2x$.
Soit la fonction f, dnie par f(x) = 2x.
Soit la fonction $f$, dfinie
par \[ f(x)=2x^2. \]
Soit la fonction f, dnie par
f(x) = 2x
2
.
Soit la fonction \[ f_n :
x\mapsto\alpha^2\sqrt{\pi}+
\frac{1}{2}\,
\sum_{i=1}^{n}{\ln x}. \]
Soit la fonction
f
n
: x
2

+
1
2
n

i=1
ln x.
La fonction $\zeta$ de Riemann
satisfait \[\zeta(s)=
\sum_{n=1}^{+\infty}\frac1{n^s}
=\prod_{p\in\mathcal P}
\frac1{1-p^{-s}}.\]
La fonction de Riemann satisfait
(s) =
+

n=1
1
n
s
=

pP
1
1 p
s
.
Une dirence fondamentale entre ces deux modes est que le mode hors-texte prend la
place si ncessaire dacher les grands symboles, ce que ne fait pas le mode en
ligne ; voici un exemple : Soit f dnie par f(x) =

n
i=1
_
i
0
f
i
_
ln x+
sinx+1
_
, avec 1.
comparer avec Soit f dnie par
f(x) =
n

i=1
_
i
0
f
i
_
ln x +
sin x + 1
_
,
avec 1. .
7. La commande $$ $$ est proscrire en L
A
T
E
X, mme si beaucoup de gens lutilisent encore.
6
Certaines habitudes ou conventions sont prendre lorsque lon rdige des mathmatiques ; les
exercices suivants ont pour but de vous y entrainer. Ils vous permettront aussi de dcouvrir
quelques spcicits du mode mathmatique par rapport au mode texte.
laide des exemples ci-dessus, des commandes proposes par T
E
XnicCenter et ventuel-
lement dune liste de symboles
8
, trouvez comment obtenir les rsultats suivants ; vous
ferez en priorit les exercices n
os
1, 2, 3, 5, 6, 8, 10, 13, 14, 15 et 17. (On ne demande
pas de reproduire lencadrement ni les ventuels indices donns entre parenthses.)
Exercice 1. Pour n entier naturel, on pose u
0
= 0 et u
n
= u
n1
+n. Alors
n N

, u
n
=
n(n + 1)
2
0.
Exercice 2. La formule de Stirling exprime, pour n grand, que
n! Cn
n

nexp(n),
o C =

2. Cette constante peut se calculer en utilisant la formule de Wallis,


que lon trouve grce aux intgrales ponymes :
n N, I
n
=
_
2
0
(sin x)
n
dx.
Exercice 3. La fontion : 1

+
1, dnie par
(x) =
_
+
0
t
x1
e
t
dt
et appele fonction Gamma (dEuler), gnralise la factorielle.
En eet, n N

, (n + 1) = n!. On peut aussi montrer que

_
1
2
_
=

,
en se ramenant lintgrale de Gauss I =
_
+
0
e
t
2
dt (par changement de
variables), cette dernire valant

2
(par exemple en considrant le carr de I
et un passage en coordonnes polaires).
Nous venons dillustrer quelques principes de base du mode mathmatique : L
A
T
E
X adapte
la taille de certains caractres selon le mode mathmatique choisi ; il est aussi capable de
modier leur apparence selon notre demande : italique mathmatique pour les variables,
romain pour les oprateurs, . . . Il connait dj certains oprateurs (\cos, \ker, \sup,
\exp, etc.) mais pas tous ; pour le e de la fonction exponentielle, on code \mathrm{e}.
8. L
A
T
E
X possde un trs grand nombre de symboles (cf. 3.6.3) ; pour le TP, on peut se contenter
du paragraphe 3.9 de [lshort-fr] distribu en cours.
7
Conseil. Pour crire un oprateur, toujours utiliser la commande prdnie ; si elle
nexiste pas, la crer de manire adquate
9
.
Il y a $a$ tel que $a=\max x$ pour
$x$ entier relatif et $x+2<0$.
Il y a a tel que $a=max x$ pour
x entier relatif et $x$+2<0.
bien Il y a a tel que a = max x pour
x entier relatif et x + 2 < 0.
mal Il y a a tel que a = maxx pour
x entier relatif et x+2<0.
Une autre particularit importante est que le mode mathmatique est un monde part
du mode texte. Ainsi,
les mises en forme habituelles (gras, italique, etc.) se font au moyen dautres com-
mandes : \mathrm{} pour passer en romain, \mathbf{} pour mettre en gras
10
, etc.
De plus, les lettres calligraphiques, gothiques et ajoures sont disponibles :
Soit $f\in\mathcal{C}$ et
$\sigma\in\mathfrak{S}_n$ pour
$n\in\mathbb{N}$.
Soit f ( et S
n
pour n N.
les blancs sont entirement grs par L
A
T
E
X; nanmoins, il a parfois du mal et il
faut alors forcer les espaces : on a vu \, (espace ne) mais il y a aussi \ (espace
inter-mot classique), \quad (1 cadratin), \ ! (espace ne ngative), etc.
les accents sont obtenus autrement ; par exemple
$\hat{x}$, $\ddot{x}$, $\vec{n}$,
$\acute{m}$, $\mathring{A}$,
$\bar{f}$, $\tilde f$,~etc.
x, x, n, m,

A,

f,

f, etc.
Par contre, ces accents nadaptent par leur taille la largeur des caractres accen-
tus ; on dispose nanmoins de \widehat{}, \widetilde{} et de diverses ches :
Langle $\hat{ABC}$ est moins
joli que $\widehat{ABC}$.
Langle

ABC est moins joli que

ABC.
Exercice 4 (avec \mathcal{}). Pour M /
n
(Z),
M GL
n
(Z) det M = 1.
Il ne faut pas confondre le mode texte et le mode mathmatique :
Exercice 5. Considrons , , /, et des rels et (O,, ) un repre orthonorm.
9. Voir lannexe B.4.
10. Cette commande ne peut pas mettre en gras tout type de symbole : un package prsent en
annexe B.3.3 permet dy remdier.
8
Cependant, il arrive que lon ait besoin dcrire du texte dans un mode mathmatique ;
le mieux est alors dutiliser la commande \text{}, qui permet de faire comme si on tait
en mode texte
11
.
Pour tout $x>0$, \[ \Gamma(x)
\text{ est bien dfinie.}
\]
Pour tout x > 0,
(x) est bien dnie.
Exercice 6 (avec \overrightarrow{}). crivons le moment magntique

/=
1
2
___
V

OP (P) d (1 tant un volume).


Exercice 7 (avec \overset{}{}). Lexercice 3 peut aider au calcul de lintgrale
de Fresnel

df
=
_
+
0
exp(ix
2
) dx =

2
exp
_
i
4
_
en montrant, pour dans ]0, 1[, que
J :
_
]0,+[
t
1
e
it
dt
vrie
J() = ()e
i

2
.
Exercice 8 (avec \xrightarrow[]{}). Si f L
1
(1) alors sa transforme de
Fourier, note

f, est continue et vrie (pour une dnition bien choisie)

f(x)
x
0 et
_
_
_
_
_

f
2
_
_
_
_
_

|f|
1
.
Exercice 9 (avec \ldots, {\displaystyle}). Soit a
1
, . . . , a
k
N

. Supposons
les a
i
premiers entre eux dans leur ensemble (pour i 1, . . . , k) et notons,
pour n 1, u
n
le nombre de k-uplets (x
1
, . . . , x
k
) N
k
tels que
k

i=1
a
i
x
i
= n.
Alors
u
n

+
1
a
1
a
2
a
k
n
k1
(k 1)!

Conseil. Ne pas abuser du \displaystyle (comme il modie la dimension de linter-


ligne, cela peut vite devenir moche !). Prendre garde la syntaxe : {\displaystyle
blabla} est correct (alors que \displaystyle{blabla} na aucun sens).
11. Certains ouvrages proposent lutilisation de \mbox{} ou de \mathrm{} pour cet usage : cela ne
produit pas toujours leet dsir, donc cest proscrire.
9
3.4 Environnements
Voyons maintenant un outil utile pour raliser des objets plus volus, comme des tableaux,
des quations alignes, des numrations, etc. : ce sont les environnements. Nous aborderons
plus loin (cf. 3.6) ceux spciques au mode mathmatique.
Leur utilisation est simple :
\begin{<nom de lenvironnement>}
.
.
.
\end{<nom de lenvironnement>}
Citons les plus courants :
bfseries, samily, etc. qui permettent de modier la mise en forme des fontes,
i.e. mise en gras, en sans srif, etc. (cf. 3.2) ;
small, Large, etc. qui permettent de modier la taille des fontes (cf. 3.2) ;
center, qui permet de centrer une partie de texte horizontalement ;
itemize, enumerate et description, qui servent mettre en forme des listes ;
tabular, qui sutilise pour crer des tableaux au sein du mode texte (en mode
mathmatique, cest son homologue array qui doit tre utilis).
Expliquons laide dexemples le fonctionnement de quelques environnements :
\begin{itemize}
\item premirement ;
\item deuximement.
\end{itemize}
premirement ;
deuximement.
\begin{enumerate}
\item Primo.
\item Secundo.
\end{enumerate}
1. Primo.
2. Secundo.
\begin{tabular}{|rl|c|}
\hline
right & left & center \\
Xavier & Martine & Franois\\
\hline
Rsistance & Inductance & Capacit\\
\hline
\end{tabular}
right left center
Xavier Martine Franois
Rsistance Inductance Capacit
Explications sur la syntaxe de tabular : le \\ indique une n de ligne, le & spare les
colonnes, le \hline trace un trait horizontal entre deux lignes. Quant largument de
lenvironnement (ici {|rl|c|}), il indique deux choses : lalignement horizontal dans
chaque colonne (via la lettre r, l ou c) et lventuel ajout dun let vertical entre deux
colonnes (en insrant le caractre |).
10
Exercice 10 (on ne demande pas de reproduire lespacement plus ar des itemize
de cet exercice). Pour avoir la valeur dune intgrale, deux moyens existent :
1. Calculer sa valeur exacte. Dirents outils peuvent tre utiliss, en parti-
culier :
la rgle des invariants de Bioche :
si x x est un invariant, on utilise u = cos x,
si cest x x, on utilise u = sin x,
si cest +x x, on utilise u = tan x;
le thorme des rsidus ;
lgalit de Plancherel-Parseval.
2. Calculer une valeur approche. On distingue deux types de mthodes :
(a) des mthodes dterministes, contenant :
i. les mthodes de Newton-Cotes,
ii. les mthodes de Gauss ;
(b) une mthode probabiliste : la mthode de Monte-Carlo.
Exercice 11. savoir sur les mthodes de quadrature :
Mthode Ordre
Rectangles gauche 0
Rectangles droite 0
Point milieu 1
Trapzes 1
Simpson 3
Exercice 12 (sans package additionnel mais en utilisant \multicolumn{}{}{}).
Voici un parallle entre des mthodes de calcul approch dintgrale et des
schmas de rsolution approche dquations direntielles ordinaires :
Mthode de quadrature Schma EDO
Nom Ordre Nom
Rectangles gauche 0 Euler explicite
Rectangles droite 0 Euler implicite
Point milieu 1 Euler modi
Trapzes 1 Crank-Nicolson
Simpson 3 Runge-Kutta dordre 4 (RK4)
Il existe beaucoup dautres possibilits dagencer les tableaux : avoir une ligne horizon-
tale ne stendant que sur quelques colonnes, modier la hauteur des cellules, fusionner
des cellules, modier le symbole ach entre chaque colonne, etc. Enn, des packages
tendent encore ces possibilits. . . on renvoie au chapitre 4 de [B-Ch].
11
3.5 Sectionnement et rfrences croises
L
A
T
E
X est capable de grer tout seul la mise en forme des titres de paragraphes et leur
numrotation ; on utilise pour cela les commandes de sectionnement. Il est alors possible de
faire des renvois ces paragraphes : on parle de rfrences croises.
Pour le sectionnement, les commandes \chapter{}, \section{}, \paragraph{}, etc.
(cf. [lshort-fr]) sont notre disposition ; quant leur version toile (\section*{}, etc.),
elle supprime la numrotation. Lexemple suivant illustre leur fonctionnement (sous la
classe article, \chapter{} nest pas disponible).
\section{Premire section}
\subsection{Premire sous-
section}
\section{Deuxime section}
\section*{Conclusion}
1 Premire section
1.1 Premire sous-section
2 Deuxime section
Conclusion
Exercice 13. Recopier lexemple de code source ci-dessus puis compiler. Ajou-
ter ensuite une section avant la premire section et compiler de nouveau.
Quobservez-vous ?
Les rfrences croises permettent de rfrencer automatiquement les commandes de
sectionnement : on place une tiquette juste aprs le titre (au moyen de \label{}) et on
sy rfre nimporte o dans le document (au moyen de \ref{} pour avoir le numro du
paragraphe et de \pageref{} pour avoir la page o il dbute). Pour crire cette feuille
de TP, nous avons tap
\section{Dcouverte de \LaTeX}
\label{sec-Decouv}
pour coder le titre de section en page 4, do lexemple suivant :
La section~\ref{sec-Decouv} dbute
page~\pageref{sec-Decouv}.
La section 3 dbute page 4.
Conseil. Prendre lhabitude de classer ses rfrences laide dun mot-cl (suivi dun
tiret
12
) : \label{<mot-cl>-truc}, en remplaant par exemple <mot-cl> par sec
pour une section, subsec pour une sous-section, eq pour une quation numrote
13
, etc.
12. viter lusage du deux-points (en particulier si babel/frenchb est charg), mme si certains ouvrages
le proposent.
13. Comme nous le verrons par la suite, plein dobjets (numrots) peuvent tre rfrencs : notes de
bas de pages, environnements table et gure, thormes, . . .
12
Conseil. Lespace inscable (cod avec le caractre ~) permet dempcher un retour
la ligne lendroit utilis ; prendre lhabitude den faire prcder chaque \ref{}.
Exercice 14. Reprendre lexercice 13 et ajouter une tiquette la premire
section, en y faisant rfrence dans la deuxime ; ensuite, compiler une (seule)
fois : quobservez-vous ? Compiler une seconde fois et trouver une explication.
Lintrt de la gestion automatique des rfrences croises par L
A
T
E
X est majeur : en eet,
si au cours de la rdaction un numro de paragraphe doit changer (suite lajout dun
sectionnement avant) ou si le numro de page change (suite lajout de texte avant),
alors les commandes \ref{} et \pageref{} se mettent jour toutes seules
14
.
3.6 Mathmatiques 2
Voyons maintenant comment enrichir le mode mathmatique en utilisant la structure den-
vironnement et les rfrences croises. Ce paragraphe rpondra aux besoins suivants : faire
des tableaux en mode mathmatique, crer des matrices, numroter une formule, acher
une succession dquations ; crire proprement des noncs de thormes numrots ; savoir
o trouver des informations supplmentaires.
3.6.1 Agencement de formules, tableaux et matrices
1. Lenvironnement equation permet dcrire une ligne en mode hors-texte (comme la
syntaxe \[ \]) mais, en plus, il la numrote :
Soit la fonction $f$, dfinie
par \begin{equation}
f(x)=2x.
\end{equation}
Soit la fonction f, dnie par
f(x) = 2x. (1)
2. Lenvironnement array permet de raliser des tableaux au sein du mode mathma-
tique, mais il faut au pralable tre entr dans ce mode. Son utilisation est trs
similaire lenvironnement tabular ; comme ce dernier, il ne fait pas dbuter une
nouvelle ligne : par dfaut il est centr verticalement sur la ligne en cours, mais on
peut changer ce placement au moyen des options t ou b.
Soit $\begin{array}{|c|c|}
\hline
f(x,t)& g(x,y)\\ \hline
t\sqrt[3]{x} &
\Re\textrm{e}(x+iy)\\
\hline
\end{array}$ un beau tableau.
Soit $\begin{array}[b]{|c|c|}
...$ un autre tableau.
Soit
f(x, t) g(x, y)
t
3

x 'e(x +iy)
un beau ta-
bleau.
Soit
f(x, t) g(x, y)
t
3

x 'e(x +iy)
un autre ta-
bleau.
14. Aprs deux compilations quand mme.
13
3. Pour produire une matrice, on remplacera avantageusement array par un environ-
nement mieux adapt : matrix, pmatrix, bmatrix, vmatrix, etc.
Soit $L=\begin{pmatrix}
2 & -1 & \\
-1 & 2 & -1 \\
& -1 & 2 \\
\end{pmatrix}$ une matrice.
Soit L =
_
_
_
2 1
1 2 1
1 2
_
_
_ une matrice.
4. Pour crire des quations sur plusieurs lignes, l encore on remplacera avantageu-
sement array par un environnement mieux adapt ; citons en particulier
gather, pour empiler des quations (elles seront numrotes) :
On a \begin{gather}
\Delta V=-\vec\nabla
\cdot(\nabla\vec E),\\
\Delta V+ \frac{\rho}
{\varepsilon_0}=0.
\end{gather}
On a
V =

E), (2)
V +

0
= 0. (3)
align pour empiler des quations en les alignant verticalement
15
(elles seront
numrotes) :
On a aussi \begin{align}
(a+b)^2 &= (a+b)(a+b)\\
&= a^2+2ab+b^2.
\end{align}
On a aussi
(a +b)
2
= (a +b)(a +b) (4)
= a
2
+ 2ab +b
2
. (5)
On peut faire plusieurs colonnes dquations (en rajoutant des &, gnralement
places avant le symbole de relation ; cf. 3.6.3) ;
multline pour des formules trs longues qui tiennent sur plusieurs lignes ; la
premire est aligne gauche, la dernire droite et celles du milieu sont
centres :
On a \begin{multline}
55= 1+2+3\\
+4+5+6+7\\
+8+9+10.
\end{multline}
On a
55 = 1 + 2 + 3
+ 4 + 5 + 6 + 7
+ 8 + 9 + 10. (6)
Ces trois environnements (ainsi que equation) admettent une forme toile qui
supprime la numrotation :
15. Proscrire lusage de eqnarray.
14
On a enfin \begin{align*}
(a+b)^2 &= (a+b)(a+b)\\
&= a^2+ab+ba+b^2\\
&= a^2+2ab+b^2 && \text{
car\dots}
\end{align*}
On a enn
(a +b)
2
= (a +b)(a +b)
= a
2
+ab +ba +b
2
= a
2
+ 2ab +b
2
car. . .
5. Lenvironnement split, un peu part : il permet, alors que lon est dj en mode
mathmatique hors-texte, de scinder une quation (qui est trop longue pour tenir
sur une seule ligne) ; il ncessite donc dtre plac dans un environnement math-
matique et il napporte pas de numrotation. Donnons deux exemples dutilisation.
(a) On souhaite un alignement vertical (ce que ne procure pas multline) :
On a encore \begin{equation}
\begin{split}
55 &= 1+2+3+4+5\\
&\quad +6+7+8+9+10.
\end{split}
\end{equation}
On a encore
55 = 1 + 2 + 3 + 4 + 5
+ 6 + 7 + 8 + 9 + 10.
(7)
(b) On est dj dans un environnement mathmatique hors-texte (ce qui empche
lusage de multline) :
Les quations dEuler sont
\begin{gather}
\frac{\partial n}{\partial t}
+\nabla_x\cdot(nu)=0,\\
\begin{split}
\frac{\partial(nu)}{\partial
t}+\nabla_x\cdot(nu
& \otimes u)\\
& +\nabla p=0,
\end{split}\\
\frac{\partial E}{\partial t}
+\nabla_x\cdot\bigl((E+p)
u\bigr)=0.
\end{gather}
Les quations dEuler sont
n
t
+
x
(nu) = 0, (8)
(nu)
t
+
x
(nu u)
+p = 0,
(9)
E
t
+
x

_
(E +p)u
_
= 0. (10)
Pleins dautres outils existent, par exemple :
lenvironnement cases permet des constructions par cas (cf. exercice 18) ;
la commande \intertext{} permet dinsrer une ligne de texte entre deux lignes
de align sans briser lalignement vertical (cf. 3.6.3) ;
la commande \notag permet de supprimer la numrotation sur une ligne particu-
lire (cf. 3.6.3).
15
Exercice 15 (avec \eqref{}). On a lidentit remarquable :
a, b N, (a +b)
2
= a
2
+ 2ab +b
2
. (11)
Il sagit de lquation (11).
Exercice 16 (avec \vdots). Pour tout (a
1
, . . . , a
n
) K
n
, le dterminant de
Vandermonde est
V (a
1
, . . . , a
n
) =

1 a
1
a
1
n1
1 a
2
a
2
n1
.
.
.
.
.
.
.
.
.
.
.
.
1 a
n
a
n
n1

1i<jn
(a
j
a
i
).
Exercice 17 (avec \underbrace{}{}). Soit (u
n
)
nN
dnie par u
0

0,

2

et
n N, u
n+1
= sin(u
n
). Alors on peut montrer successivement que :
lim
n+
u
n
= 0,
u
n

+
_
3
n
,
u
n
=
+
_
3
n

3

3
10
ln n
n

n
+o
_
ln n
n

n
_
. .
=O
_
ln n
n

n
_
.
Exercice 18 (avec cases). Soit f : 1 0 1
x
sinx
x
. On peut prolonger f par
continuit en sin
c
dnie par sin
c
(x) =
_
f(x) si x ], 0[ ]0, +[
1 sinon
.
3.6.2 Thormes et noncs similaires
L
A
T
E
X permet de mettre en forme des thormes, propositions, remarques, etc., de les num-
roter automatiquement et dy faire rfrence trs simplement, tout cela grce aux environ-
nements de type theorem.
Avant toute chose, chargeons le package amsthm
16
; ensuite, cela se fait en deux temps :
1. Dnition et conguration dun type dnonc dans le prambule (cest ici que lon
choisit divers paramtres : quel nom portera-t-il ? Sera-t-il numrot la suite ou
en parallle dun autre type dnonc ? Sera-t-il numrot par section ?).
16. Les capacits de L
A
T
E
X sont trs limites sans ce package ; linverse, pour davantage de possibilits,
utiliser le package ntheorem (cf. 3.6.3).
16
2. Utilisation au cours du document.
Ainsi, en ajoutant ces deux lignes dans le prambule,
\newtheorem{prop}{Proposition}
\newtheorem{cor}[prop]{Corollaire}
on obtient les deux exemples suivants.
\begin{prop}
Pour tout $\alpha\in\mathbb{R}$,
la srie \[\sum_{n\ge 1}
{\frac1{n^\alpha}}\] converge
si et seulement si $\alpha >1$.
\end{prop}
Proposition 1. Pour tout 1, la srie

n1
1
n

converge si et seulement si > 1.


\begin{cor}[Sries de Bertrand]
\label{cor-Bertrand}
Pour tout $(\alpha,\beta)\in
\mathbb{R}^2$, \[ \sum_{n\ge 2}{
\frac1{n^\alpha (\ln n)^\beta}} \]
converge si et seulement si
$(\alpha >1)$ ou $(\alpha =1
\text{ et } \beta>1)$.
\end{cor}
Corollaire 2 (Sries de Bertrand). Pour
tout (, ) 1
2
,

n2
1
n

(ln n)

converge si et seulement si ( > 1) ou


( = 1 et > 1).
(Dans ce dernier exemple un titre a t donn lnonc, via des crochets ; un \label{},
lui aussi facultatif, est utilis pour pouvoir faire rfrence au corollaire plus tard.)
Exercice 19. Retirer le [prop] dans la dnition de cor et observer que la
numrotation (des corollaires) a chang : ils sont dornavant numrots ind-
pendamment des propositions.
Pour rdiger une preuve, lenvironnement proof peut tre utilis :
\begin{proof}
tude de cas et comparaison
srie/intgrale pour $\alpha>1$.
\end{proof}
Dmonstration. tude de cas et comparai-
son srie/intgrale pour > 1.
\begin{proof}[Preuve du
corollaire~\ref{cor-Bertrand}]
\end{proof}
Preuve du corollaire 2.
Pour varier lachage des noncs (i.e. avoir par exemple une mise en forme pour les
dnitions qui soit dirente de celle des thormes, propositions, lemmes, . . .), on dis-
pose de trois styles de composition : plain, definition et remark; il est aussi possible
de ne pas numroter un type dnonc. Voir lexercice 20 ci-aprs pour la syntaxe.
17
Exercice 20. Charger le package amsthm (au moyen de \usepackage{amsthm}
place juste aprs \usepackage[frenchb]{babel}) et crire les quelques lignes
suivantes dans le prambule.
\theoremstyle{plain}
\newtheorem{thm}{Thorme}
\theoremstyle{definition}
\newtheorem{defi}[thm]{Dfinition}
\theoremstyle{remark}
\newtheorem{exe}{Exemple}
\newtheorem*{rmq}{Remarque}
Ensuite, obtenir le rsultat prsent dans la gure 2 (ci-dessous), largement
emprunt de [Obj]. Que se passe-t-il si la 2
e
ligne de code ci-dessus est remplace
par \newtheorem{thm}{Thorme}[section]?
Dnition 1 (Base hilbertienne). Soit (H, , )) un espace de Hilbert. On dit quune
famille (e
i
)
iI
est une base hilbertienne de H si elle est orthogonale, norme et totale.
Dnition 2. Un espace mtrique (E, d) est dit sparable si tout ouvert non vide de
E contient au moins un point dune partie dnombrable de E.
Exemple 1. 1
n
est sparable.
Thorme 3 (Caractrisation). Soit (H, , )) un espace de Hilbert sparable et
(e
n
)
nN
une famille orthonorme de H. Les proprits suivantes sont quivalentes :
1. La famille orthonorme (e
n
)
n
est une base hilbertienne.
2. Pour tout x H,
x =
+

n=0
x, e
n
) e
n
(galit de Parseval).
3. On a
(e
n
, n N)

= 0.
Remarque. Le thorme 3 stend au cas des espaces de Hilbert non sparables.
Figure 2 Texte reproduire (sans lencadrement) dans lexercice 20.
Conseil. Pour faire rfrence un nonc numrot, toujours utiliser \label{} et
\ref{}; ne jamais faire une numrotation en dure
17
.
17. Autrement dit, ne jamais crire le corollaire 2 dans son chier source.
18
3.6.3 Pour aller plus loin : vers linni et au del !
Donnons ici quelques rfrences commentes apportant des informations pour aller plus loin
en mathmatiques avec L
A
T
E
X.
Tout dabord, ces informations pourraient tre rparties en trois couches : L
A
T
E
X sans
packages, L
A
T
E
X avec les packages de lA
M
S et L
A
T
E
X avec dautres packages ; dans ce
TP nous confondons les deux premires, car nous estimons que amsmath et amssymb
sont un minimum ncessaire pour faire des mathmatiques. Voici donc quelques ides.
1. Consulter une liste de symboles. Les plus usuels gurent dans [lshort-fr] distribu
en cours, mais aussi dans [B-Ch], [LPI], . . . Pour une liste exhaustive, voir [Pak]
( 3, 4 pour les mathmatiques).
2. Consulter [amsldoc], le Users Guide du package amsmath, pour exploiter fond ses
possibilits. Citons en particulier : 3 (dont la table 3.1) pour dautres environne-
ments sur lagencement des formules, 4, 5 pour diverses notations mathmatiques
(coecients binomiaux, fractions continues, parenthsages, modulo, . . .), 8 pour
des diagrammes commutatifs simples (i.e. sans diagonale
18
).
3. Utiliser le package mathtools, extension du package amsmath (e
n

n
0).
4. Consulter [Mathmode], qui est une tentative de rassembler toutes les possibilits
(commandes, options, packages, etc.) pertinentes pour faire des mathmatiques.
Il sagit dun document trs riche mais de haut niveau ; en particulier, savoir que
les parties I (traitant de L
A
T
E
X sans amsmath) et III (traitant de T
E
X) dpassent
largement le cadre de ce TP dinitiation.
Voil pour les gnralits ; maintenant, voici une solution pour tendre les possibilits de
amsthm, au cas o ce dernier se rvlerait insusant. Plusieurs autres solutions existent,
mais cest celle qui semble la plus aboutie lheure actuelle (mars 2010).
5. Utiliser le package ntheorem. La personnalisation des noncs y est plus facile :
passage la ligne aprs lachage du titre numrot, achage dune liste des
thormes, . . . ; une prsentation gure dans [B-Ch] et [LPI]
19
.
Gros exemple Enn, terminons en donnant un gros exemple regroupant plein de
choses (utiles, faire ou viter). La prsentation du code source est obtenue au moyen
du package listings ; regardez le rsultat de la compilation (situ page 21) et revenez
ensuite consulter le source ci-dessous pour savoir ce qui sy cache
20
.
Lignes ajouter dans le prambule :
1 \usepackage {dsfont } %pour un alphabet different de \mathbb {}
\usepackage {esvect } %pour les fleches \vv{} plus jolies que \ overrightarrow{}
3
18. Pour des diagrammes plus compliqus, mais au dtriment dune manipulation moins facile, voir le
paragraphe 4.4 de ce TP.
19. Attention toutefois : lire le paragraphe 3 de la documentation du package lorsque amsmath, babel
ou hyperref sont aussi utiliss.
20. Pour toute explication, consulter [lshort-fr], [amsldoc], etc. ou votre moteur de recherche favori.
19
\newcommand *{\ abs }[1]{\ left\lvert #1\ right \rvert } %valeur absolue
5 \newcommand *{\ norm }[1]{\ left\lVert #1\ right\rVert} %norme
\newcommand *{\ bbN }{\ ensuremath \mathbb {N}} %entiers naturels
7 \newcommand *{\ ensemble }[1]{\ left \{#1\ right \}} %ensemble
\newcommand *{\ tq}{\ enskip \middle |\ enskip } %le tel que ; les espaces autour
peuvent etre reduits , selon les gouts
9 \newcommand *{\ sachant }{\ mid} %le sachant que des proba conditionnelles
\newcommand *{\ dpart }[2]{\ frac {\ partial #1}{\ partial #2}} %derivee partielle
11
\DeclareMathOperator {\grad }{\ vv{\ operatorname{grad }}} %operateur gradient
13 \DeclareMathOperator {\divg }{div} %operateur divergence
\DeclareMathOperator {\rot }{\ overrightarrow{\ operatorname{curl }}} %operateur
gradient
Code compiler :
16 Ne pas confondre \verb_|_, \verb |\ lvert|, \verb |\ rvert| et \verb |\mid| ; ni \verb_
\|_, \verb|\ lVert| et \verb|\ rVert| ; ni \verb |\ backslash | et \verb |\ setminus |
:
18 \[
\begin {array }{r@{\ quad\ longrightarrow\quad}l}
20 \text{pas bien} & \text{bien }\\
a|b & a\mid b \\
22 \mathbb {P}(A|B) & \mathbb {P}(A\sachant B) \\
\{x\in A| x\neq 0\} & \ensemble {x\in A\tq x\neq 0} \\
24 |\ lambda x|=|\ lambda |\|x\| & \norm{\ lambda x}=\ abs {\ lambda }\ norm{x} \\
\bbN ^*=\ bbN\backslash \{0\} & \bbN ^*=\ bbN\setminus \{0\}
26 \end{array}
\]
28
Regardez les deux codes sources distincts pour obtenir ces deux morceaux
identiques :
30 \[ \left \{x\in A\enskip \middle |\ enskip \frac{x}{10}\ ll 1\right \} \qquad \ensemble {
x\in A\tq\frac{x}{10}\ ll 1} \]
et adoptez lutilisation des commandes personnelles !
32
\Equations de transport sous formes non conservative et conservative ($a\colon \
mathds {R}^n\to\mathds {R}^n$) :
34 \begin {subequations}
\begin{align}
36 \dpart{u}{t}+ a\cdot\grad u&=0 ,\\
\dpart{u}{t}+ \divg(au)&=0.
38 \end{align}
\end{subequations}
40
Nous effectuons les calculs suivants \begin{align}
42 A&= \dpart {f}{t}(x,v,t)+ v\cdot\nabla_xf (x,v,t)+ \nabla_v \cdot\bigl(F(x,v)f(x,v,
t)\bigr)\\
&= \cdots \notag \\
44 A&= \dpart {f}{t}(x,v,t)+ v\cdot\nabla_xf (x,v,t)+ \nabla_v \cdot\bigl(F_{\ text{I
}}(x,v)f(x,v,t)\bigr)+ \nabla_v \cdot\bigl(F_{\text{F}}(x,v)f(x,v,t)\bigr)\
notag \\
\intertext {qui donnent , plus lisiblement }
46 A&= \dpart {f}{t}+ v\cdot\nabla_xf +\ nabla_v \cdot(F_{\text{F}}f)+ \nabla_v \cdot(F_
{\text{I}}f). \tag {$\clubsuit$ }
\end{align}
48
\begin {equation *}
50 x\in\emptyset \iff x\in\ varnothing \iff \left\{
\begin{aligned }
52 x&\nleq 0 \quad\text{et}\ quad x\ngeqslant 0\\
20
x&\neq 0
54 \end {aligned }\right .
\end{equation *}
56
\begin {align }
58 \divg{E} &= \frac{\ rho }{\ eps_0 } & \divg{B} &= 0 \\
\rot {E} &= -\partial_tB & \rot B &= \mu_0\biggl [\ vec\jmath +\ eps_0\
partial_tE \biggr ]
60 \end{align}
Rsultat de la compilation (aprs ajout de traits horizontaux pour sparer les exemples) :
Ne pas confondre |, \lvert, \rvert et \mid ; ni \|, \lVert et \rVert ; ni \backslash et \setminus :
pas bien bien
a|b a | b
P(A|B) P(A | B)
{x A|x = 0} {x A | x = 0}
|x| = ||x x = || x
N

= N\{0} N

= N \ {0}
Regardez les deux codes sources distincts pour obtenir ces deux morceaux identiques :
_
x A

x
10
1
_ _
x A

x
10
1
_
et adoptez lutilisation des commandes personnelles !
quations de transport sous formes non conservative et conservative (a: R
n
R
n
) :
u
t
+ a
#
grad u = 0, (12a)
u
t
+ div(au) = 0. (12b)
Nous eectuons les calculs suivants
A =
f
t
(x, v, t) + v xf(x, v, t) +v
_
F(x, v)f(x, v, t)
_
(13)
=
A =
f
t
(x, v, t) + v xf(x, v, t) +v
_
F
I
(x, v)f(x, v, t)
_
+v
_
F
F
(x, v)f(x, v, t)
_
qui donnent, plus lisiblement
A =
f
t
+ v xf +v (F
F
f) +v (F
I
f). ()
x x
_
x _ 0 et x 0
x = 0
div E =

0
div B = 0 (14)

curl E = tB

curl B = 0
_
+ 0tE
_
(15)
21
4 Fonctionnalits plus avances
4.1 Mise en page et structure du document
Nous prsentons ici quelques commandes et fonctionnalits de L
A
T
E
X permettant damliorer
la prsentation dun document (se reporter la bibliographie pour davantage dinformations).
Notes de bas de page : elles sutilisent avec \footnote{} comme ceci
21
. Observez
que dans un tableau cette commande ne fonctionne pas et trouvez comment faire
22
.
Titre dun document et page de garde : il est possible de formaliser lachage du
titre dun document ; cela se fait en deux temps :
1. Donner les informations L
A
T
E
X (intitul, auteur(s), date), de prfrence dans
le prambule.
2. Demander L
A
T
E
X dacher le titre : il sut pour cela dinsrer la commande
\maketitle lendroit voulu (gnralement au dbut du document !).
Par exemple, en ayant crit dans le prambule
%Intitule
\title{TP dinitiation \LaTeX}
%Auteurs
\author{Prnom \bsc{Nom}\thanks{\texttt{prenom.nom@ens-cachan.org}}}
%Date
\date{22 mars 2010}
la commande \maketitle produit un titre proche de celui de cette feuille de TP.
Observez deux autres moyens de grer la date en supprimant la dernire ligne
ci-dessus puis en la remplaant par \date{}.
Il existe aussi lenvironnement titlepage qui ddie une page entire au titre.
Table des matires : la commande \tableofcontents permet dacher la table des
matires lendroit o elle est appele.
Exercice 21. En reprenant lexercice 13, insrer une table des matires au
tout dbut. Compiler, observer ; compiler et observer de nouveau. Ensuite,
faire chacune des tapes suivantes, en observant chaque fois le rsultat
de la (des) compilation(s) :
1. Modier un titre de section et ajouter une section.
2. Ajouter \section[Titre court]{Titre long, vraiment long}.
3. Placer \addcontentsline{toc}{section}{\protect Conclusion}
juste aprs \section*{Conclusion}
23
.
21. Je suis une note de bas de page ; je commence par une majuscule et me termine par un point.
22. Solution : grce \footnotemark et \footnotetext{}. . .
23. Explication : cette nouvelle commande permet dinsrer une ligne dans la toc (table of contents),
contenant un titre de niveau section qui sapple Conclusion. \protect permet de . . . protger .
22
Bibliographie : nous dcrivons ici une manire manuelle de faire une bibliographie
qui convient pour quelques rfrences (par contre, dans loptique dune utilisation
intensive de L
A
T
E
X, il convient de faire appel au puissant outil BibT
E
X) ; il sagit
de lenvironnement thebibliography qui sutilise comme suit :
1. lendroit o doit apparaitre la bibliographie, on place cet environnement ;
il contient la liste des donnes bibliographiques, chacune tant introduite par
\bibitem{<tiquette>}.
2. Lorsque lon veut renvoyer un ouvrage de la bibliographie au cours du
document, on utilise \cite{<tiquette>}.
Par exemple, en crivant la n dun rapport de stage
\clearpage
\begin{thebibliography}{99}
\bibitem{degond} Pierre \bsc{Degond}. \og Macroscopic
limits of the Boltzmann equation: a review\fg. Chapitre
issu de \emph{Modeling and Computational Methods for
Kinetic Equations}, Springer, \oldstylenums{2004}.
\end{thebibliography}
cela ache la bibliographie sur une nouvelle page et permet dcrire tout endroit
du chier source : voir~\cite{degond}.
Enttes et pieds de page : l encore, plusieurs possibilits. On peut utiliser les outils
dj existants de L
A
T
E
X (mais assez limits), faire appel un package (fancyhdr en
particulier) ou crer ses propres enttes et pieds de page. Pour la premire solution,
il sut dutiliser les commandes \pagestyle{<style>} (dans le prambule) ou
\thispagestyle{<style>} ( lendroit dsir dans le document), en remplaant
<style> par plain (valeur par dfaut sous article et report), empty ou headings.
Annexes : il sut dcrire \appendix lendroit o dbute les annexes puis dutiliser
les commandes de sectionnement dj vues.
Gestion des espaces : les blancs taps dans le chier .tex ne sont pas toujours in-
terprts par L
A
T
E
X, quils soient horizontaux ou verticaux (cela permet de rendre
plus lisible le chier source) ; par exemple :
| Un espace dans le code source.
| Deux espaces.
| Plein despaces.
| Un espace dans le code source.
| Deux espaces.
| Plein despaces.
L
A
T
E
X possde une prcision de lordre du nanomtre et est capable de comprendre
un certain nombre dunits de longueur ; nous en citons trois : le centimtre (cm)
et le point (1 pt 10
2
cm), qui sont des units xes, ainsi que le em , qui
23
est une unit relative (1 em = largeur de la lettre M majuscule dans la police
courante). On comprend trs vite limmense intrt de cette unit relative : si
lon est amen changer la taille des fontes dun document, ces espaces relatifs
sadapteront automatiquement !
Pour faire des espaces horizontales, on dispose en particulier de : \, (espace ne),
\ (espace inter-mot classique), \quad (cadratin, qui vaut 1 em) et \qquad (double
cadratin), qui sont des espaces de longueurs prdnies ; citons enn \hspace{},
pour avoir une espace de taille quelconque, qui prend en argument une valeur po-
sitive ou ngative, avec une unit de longueur. En mode mathmatique, on dispose
aussi de la commande
24
\ ! qui permet de raliser une espace ne ngative.
Pour faire des espacements verticaux, on peut utiliser \vspace{}; mais si lon sou-
haite espacer ses paragraphes, on privilgiera \smallskip, \medskip et \bigskip,
qui sont des blancs relatifs. Cependant, pour utiliser correctement ces trois der-
nires possibilits, il faut les appeler en dehors dun paragraphe, cest--dire avoir
une ligne vide avant et aprs dans le chier source :
\dots fin de paragraphe.
\smallskip
Dbut de paragraphe\dots
. . . n de paragraphe.
Dbut de paragraphe. . .
Enn, pour changer de page, on utilisera \clearpage (qui a lavantage de placer
tous les ottants
25
en attente, sil y en a).
4.2 Inclusion dimages
Dans de nombreux documents, on est amen insrer des images au l du texte : graphiques,
schmas, rsultats numriques, etc. Insistons sur le fait quon traite ici de linsertion dimages
existantes, et non de leur production
26
.
Le package le plus utilis pour insrer des images est graphicx
27
: il fournit la commande
\includegraphics[<options>]{fichier}
qui permet dinsrer une image existante et dajuster lchelle, lorientation, etc. Les
exemples suivant prsentent quelques-unes des options ; on renvoie [lshort-fr] pour une
description plus dtaille. Remarquons que dans ces exemples, lextension du chier img
nest pas prcise : cest tout fait licite, et mme prfrable (cf. conseil ci-dessous).
Attention, les formats dimage autoriss dpendent du mode de compilation (cf. B.1.2) :
24. En fait, grce au package amsmath, cette commande fonctionne en mode texte.
25. Voir le paragraphe 4.3.
26. Si les graphiques ou autres courbes proviennent naturellement de logiciels scientiques (scilab,
matlab, maple, etc.), la cration de dessins guratifs est plus dlicate et fera lobjet du paragraphe 4.4.
27. viter graphics, plus ancien.
24
compilation via dvi et ps : seules les images au format PostScript sont autorises
(extensions ps, eps ou epsf) ;
compilation avec PDFL
A
T
E
X : les images doivent tre dans lun des formats png,
pdf ou jpg.
\begin{center}
\includegraphics[scale=.4]{img}
\includegraphics[width=2cm,
angle=45]{img}
\end{center}
Insistons lourdement : une fois quune image est insre, il y a incompatibilit entre
ces deux modes de compilation, i.e. si une image est insre au format eps, alors une
compilation avec PDFL
A
T
E
X ne fonctionnera plus.
Conseil. Pour contourner cette limitation, nous vous suggrons davoir systmatique-
ment chacune de vos images en deux formats (p. ex. eps et pdf)
28
et de ne pas indiquer
dextension dans le \includegraphics{}; ainsi, selon le mode de compilation eectu,
L
A
T
E
X choisira tout seul lextension quil lui faut pour ne pas rencontrer derreurs !
29
Les images insres dans L
A
T
E
X peuvent tre numrotes et lgendes, voir le paragraphe
suivant sur les ottants.
4.3 Flottants
Les ottants sont un outil ecace pour placer (dans le document nal) des objets dj
crs
30
; cependant, lutilisateur se retrouve souvent confront des problmes. Nous pr-
sentons ici brivement ce que sont les ottants et quel moment des dicults peuvent
intervenir ; ensuite, nous donnons la syntaxe pour crer de tels objets et pour aborder la
rsolution des problmes qui sy rapportent.
4.3.1 Prsentation
Comme nous venons de le voir, L
A
T
E
X permet de crer des tableaux et dinsrer des
images. Ce sont parfois des objets occupant beaucoup de place verticalement et qui
peuvent donc poser des problmes de mise en page. Imaginons par exemple quil reste
moins de 5 cm de place en bas dune page au moment o nous souhaitons insrer une
gure : que va-t-il se passer si cette dernire occupe plus de 5 cm verticalement ? Nous
aimerions la mettre sur la page suivante, o elle aura de la place ; mais alors, un problme
apparait : si nous devons poursuivre la rdaction du document, cela va laisser 5 cm de
vide sur la page prcdente (ce qui ne donnera pas un rendu trs agrable). . .
28. Des logiciels gratuits (tels que The Gimp ou Inskape) permettent de faire ces conversions.
29. Cela prend bien sr plus de place sur le disque dur mais vite bien des dboires. . .
30. Tels que des images (cf. 4.2) ou des tableaux par exemple.
25
L
A
T
E
X peut remdier ce problme car il ore la possibilit de faire de cette gure un
ottant, cest--dire que sa position dans le document pourra tre dirente de celle dans
le chier source ; en quelque sorte, on laisse une certaine libert de placement : on laisse
sa gure otter . Dans notre exemple ci-dessus, L
A
T
E
X va dbuter une nouvelle page
pour insrer la gure mais continuera dcrire du texte sur la page davant, tant quil y
aura de la place.
Arrive alors le problme frquent suivant : lutilisateur nest pas content des choix de
placement faits (par dfaut) par L
A
T
E
X; en eet, un ottant est souvent ach en dbut
(ou n) de page, ce qui ne semble pas toujours cohrent. Deux rponses au moins cela :
on peut prciser L
A
T
E
X ses prfrences, an dinuencer ces choix ;
il faut garder lesprit
31
que L
A
T
E
X sait trs bien grer la mise en page, an que
le document soit agrable lire : cette gestion ne satisfait pas toujours lauteur du
premier coup, mais les dcisions de L
A
T
E
X sont gnralement trs performantes
32
.
4.3.2 Ralisation
Deux environnements existent pour crer des ottants : table et gure ; ils font tous les
deux sensiblement la mme chose, mais le premier est habituellement utilis pour des
tableaux et le second pour des gures, schmas, images, etc. On peut alors
1. mettre des prfrences de placement, parmi les quatre suivantes : ici, en haut de
page, en bas de page, sur une page ottante rserve des ottants ; ces choix se
font respectivement via les quatre lettres : h, t, b et p. Plusieurs choix peuvent tre
donns, par exemple \begin{table}[htbp] : L
A
T
E
X essayera de placer le ottant
ici puis, sil ne le peut pas, passera aux autres options.
2. Lgender un ottant, laide de \caption{}.
3. Rfrencer un ottant, laide de \label{} (prendre garde bien mettre cette
tiquette aprs la lgende).
Voici un exemple dutilisation :
\begin{figure}[ht]
\centering
\includegraphics{image}
\caption{Position des roues des
trains datterrissage principaux sur le Boeing 727}
\label{fig-Boeing}
\end{figure}
31. Ou se convaincre. . .
32. Les rgles de placement ainsi que les paramtres pris en compte pour la gestion des ottants sont
nombreux et techniques ; cela est donc double tranchant : le rsultat est satisfaisant dans de nombreux
cas mais en contrepartie, lorsquil ne lest pas, il devient compliqu de savoir do vient le dsaccord avec
les choix de L
A
T
E
X.
26
Attention, il faut bien comprendre que gure ne sert pas insrer une image, mais
faire otter une image (insre par \includegraphics{}).
Plein de contraintes rentrent en compte pour le placement des ottants (nombre maximal
de ottants par page, etc.) ; cela fait que les problmes apparaissent essentiellement dans
deux cas : si les ottants sont trs gros ou sil y en a beaucoup
33
. Le premier rexe peut
tre de se demander sil est pertinent de mettre plein de ottants dans son document ;
ensuite, on peut agir sur les options de placement du ottant
34
. Enn, il est aussi possible
(mais dconseill) de relcher certaines de ces contraintes, via un ! : on crira [ !h]
si lon souhaite vraiment que le ottant soit ici, au dtriment des rgles esthtiques de
L
A
T
E
X.
Lire le paragraphe 2.12 de [lshort-fr] pour mieux comprendre comment fonctionnent les
ottants et pourquoi vous avez un problme. Voir [Loz] pour des recommandations sur
lutilisation des ottants ; une des principales rgles tant : ne pas crire voir la gure
ci-dessous mais voir la gure 3 (en ayant pralablement rfrenc cette gure).
4.4 Schmas et graphiques
Il existe dirents outils pour crer des dessins directement dans L
A
T
E
X. lheure actuelle, le
plus complet est PSTricks ; il existe aussi PGF/TikZ, prsent dans [lshort-fr]. Les quelques
exemples ci-dessous montrent un aperu du premier.
Pour lutiliser, il faut charger le package pstricks et parfois des packages auxiliaires.
Attention : comme pour linsertion dimages au paragraphe 4.2, le choix mode de com-
pilation est important ici (cf. B.1.2) ; PSTricks ne fonctionne pas avec PDFL
A
T
E
X.
Avec lextension pst-node, on peut crer des graphes ou diagrammes :
\begin{psmatrix}[colsep=2cm,
rowsep=2cm]
& & \Gamma \\
\tilde X & {\displaystyle
\tilde \Gamma_k} & \\
X & {\displaystyle \Gamma_k} &
\psset{arrows=->,labelsep=3pt
,nodesep=3pt}
\ncarc[arcangle=-20]{1,3}{2,1}
^{\tilde p_k}
\ncline{1,3}{2,2}\ncput*{\varphi}
\ncarc[arcangle=20]{1,3}{3,2}
>{p_{\Gamma_k}}
\ncline{2,2}{2,1}^{\tilde p_k}
\ncline{2,1}{3,1}<{p_X}
\ncline{2,2}{3,2}<{\tilde \Gamma_k}
\ncline{3,2}{3,1}^{p_k}
\end{psmatrix}

k
X
k
p
k

k
p
k
p
X

k
p
k
33. En eet, tant quun ottant nest pas plac, tous les suivants (mme sils ne gnent pas L
A
T
E
X)
sont mis en attente.
34. En particulier, sil y a beaucoup de gros ottants, leur attribuer une page entire (option p) peut
tre utile.
27
Lextension pst-circ fournit des macros pour dessiner des circuits lectriques :
\begin{pspicture}(7,4.5)
\pnode(0,0){A}\pnode(5,0){B}
\pnode(0,4){C}\pnode(5,4){D}
\Ucc[labeloffset=-1.1](A)(C){$e(t)$}
\multidipole(C)(D)\coil{$L$}\resistor
[intensitylabel=$i(t)$]{$R$}.
\resistor(D)(B){$R$}
\wire(A)(B)
\capacitor[parallel](D)(B){$C$}
\end{pspicture}
e(t)
L R
i(t)
R C
Des gures de la gomtrie euclidienne sont prdnies dans lextension pst-eucl :
\begin{pspicture}(6,6)
\pstTriangle[PointSymbol=none]
(4,1){A}(1,3){B}(5,5){C}
\pstCircleABC[CodeFig=true,
CodeFigColor=blue, linecolor=red,
PointSymbol=none]{A}{B}{C}{O}
\end{pspicture}
A
B
C
O
Citons enn pst-labo pour la chimie :
\psset{pince=true,glassType=ballon}
\pstChauffageTube[becBunsen,barbotage,
substance={\pstFilaments[10]{green}}]
Il y a aussi la possibilit de raliser des arbres, des formules et reprsentations molcu-
laires, des morceaux de musiques, des gures de diraction, . . .
Mentionnons pour nir quil existe des logiciels externes L
A
T
E
X permettant de dessiner
la souris et ensuite de transformer le rsultat en un code utilisable par L
A
T
E
X : T
E
Xgraph,
xg et plusieurs autres.
4.5 Transparents et prsentations
L
A
T
E
X fournit la classe slides pour mettre en page des transparents. Toutefois, il existe
un meilleur moyen de crer des prsentations ou diaporamas au format pdf grce
28
L
A
T
E
X : il sagit dun package (qui dnit une nouvelle classe L
A
T
E
X) nomm beamer. La
classe beamer gnre des transparents (frames) qui peuvent tre achs en plusieurs
tapes par une succession de couches (slides). Pour obtenir une sortie beamer, le dbut
du document est un peu dirent de celui habituellement utilis : la gure 3 en prsente
un exemple.
\documentclass{beamer}
\usepackage[<option choisir>]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath, amssymb}
\usepackage[frenchb]{babel}
\usetheme{Warsaw}
Figure 3 Exemple de chier source beamer.
On retrouve les packages lis aux mathmatiques ou la langue franaise et il existe
une ligne supplmentaire qui dnit le thme beamer. Ici cest le thme Warsaw qui a
t choisi (il existe de nombreux autres thmes dont le dtail ici serait fastidieux). Un
petit tour sur Internet permet de trouver rapidement le thme voulu. On citera les plus
classiques (certains peuvent utiliser des options) :
\usetheme{Warsaw}
\usetheme{AnnArbor}
\usetheme[secheader]{Boadilla}
\usetheme[secheader]{Madrid}
\usetheme[compress]{Ilmenau}
Aprs le prambule, on peut dnir le titre, le sous-titre, lauteur, la date, etc. ; viendront
ensuite les transparents (frames) : un frame se compose dun titre, dun sous-titre et
de texte. Autour de cet ensemble, on trouvera (suivant le thme choisi) des bandes
de couleurs, des symboles de navigation, le nom de lauteur, le titre de la section, un
logo, etc. Une image tant toujours plus parlante que des mots, un exemple de frame est
donn sur la gure 4.
Dans le corps du transparent, on peut intgrer des tableaux, des listes, des formules,
des dnitions, des thormes, des remarques et peu prs tout ce quon peut faire
classiquement en L
A
T
E
X. Attention, il existe des exceptions cette rgle, par exemple
linsertion dun environnement verbatim ncessite une option fragile. Sans cette option,
la compilation choue.
\begin{frame}[fragile]
Ce texte est normal.
\verb_Ici on est en mode verbatim._
\end{frame}
Ce texte est normal.
Ici on est en mode verbatim.
29
Figure 4 Exemple de frame beamer.
Une utilisation classique de beamer est lemploi des blocks. Par dfaut, les thormes,
exemples, dnitions et preuves sont dans des blocks.
\begin{frame}
\frametitle{Les environnements
cadrs}
\begin{definition}
environnement definition
\end{definition}
\begin{example}
environnement example
\end{example}
\begin{proof}
environnement proof
\end{proof}
\begin{theorem}
environnement theorem
\end{theorem}
\end{frame}
Par ailleurs, il existe dautres types de blocks, dont les dtails peuvent tre rednis
manuellement.
\begin{frame}
\begin{block}{Un bloc normal}
Texte du block \texttt{block}
\end{block}
\begin{alertblock}{Un bloc alerte}
Texte du block \texttt{alertblock}
\end{alertblock}
\begin{exampleblock}{Un bloc exemple}
Texte du block \texttt{exampleblock}
\end{exampleblock}
\end{frame}
30
Enn, il existe une commande trs pratique : la commande \pause. Elle permet demp-
cher une partie du transparent dapparaitre : elle gle en quelque sorte lachage complet
du transparent.
\begin{frame}
Ceci saffiche en premier.\\
\pause
Cette partie ne saffiche que
lorsque je suis pr\^et.\\
\pause
Cette derni\ere partie
appara\^it encore apr\es.
\end{frame}
On peut se demander quoi cela sert, car il surait de faire 3 transparents dirents
pour obtenir le mme rsultat. Passant le fait que cela est beaucoup plus contraignant,
on note en particulier que le compteur de transparents ne sincrmente pas. De plus, de
nombreuses options permettent de changer lordre dachage, revenir en arrire, modier
la forme du texte de manire temporaire, etc. Cest ici quapparait la notion de couches,
notion quelque peu complexe quon nabordera pas ici. Pour plus de dtails, on consultera
lexcellente page [McC].
31
A Typographie franaise
Lobjet de cette annexe est de prsenter quelques-unes des rgles les plus lmentaires de la
typographie franaise et leur mise en forme (simplie) grce L
A
T
E
X.
A.1 Avec L
A
T
E
X
Le paragraphe 2.5.2 de [lshort-fr] explique les outils fournis par babel/frenchb (voir le
paragraphe 2 de [Fli] pour des explications compltes) ; nous utilisons quelques-unes des
abrviations proposes par babel/frenchb en page 33 du TP.
A.2 Quelques rgles et usages
A.2.1 Espacement et ponctuation
Grce babel/frenchb, il sut dutiliser la barre despacement du clavier chaque fois
quune espace est ncessaire ; en eet, L
A
T
E
X saura alors la transformer automatiquement
en le type despace adquat :
virgule et point sont suivis dun blanc ;
point dinterrogation, point dexclamation, point-virgule et deux-points sont suivis
dun blanc et prcds dune espace ne inscable (sauf le deux-points, en
gnral prcd dune espace inscable ) ;
les guillemets ouvrants ou fermants sont respectivement, prcds ou suivis dun
blanc, suivis ou prcds dune espace inscable ;
les parenthses ou crochets ouvrants sont prcds dun blanc ;
les parenthses ou crochets fermants sont suivis dun blanc ;
les apostrophes et traits dunion ne sont ni prcds ni suivis de blanc ;
le tiret (cod ---) utilis pour ouvrir ou fermer une incise est respectivement,
prcd ou suivi dun blanc, suivi ou prcd dune espace ne inscable ;
le point de suspension (cod \dots) est suivi dun blanc (pour que ce blanc appa-
raisse, on rajoute des accolades aprs le nom de la commande : \dots{}).
A.2.2 Abrviations
Une abrviation qui ne se compose que des premires lettres du mot se termine
par un point (rfrence = rf.).
Une abrviation qui se termine par la dernire lettre du mot ne comporte pas de
point nal (boulevard = bd).
Labrviation des groupes de mots ne comporte pas de point nal (sil vous plait
= svp).
32
Voici quelques exceptions souvent utilises :
cest--dire c.--d. ou c--d
confer cf.
environ env.
et ctera etc. (pas de point de suspension ni de rptition)
exemple ex.
gure g.
idem id.
id est i.e.
page p. (ne se rpte pas : p. 127 et 128)
paragraphe (ne se rpte pas : 4 et 5)
numro, numros n
o
, n
os
(et N
o
, N
os
)
premier, premiers 1
er
, 1
ers
premire, premires 1
re
, 1
res
deuxime, deuximes 2
e
, 2
es
primo, secundo, tertio 1
o
, 2
o
, 3
o
degr (Celcius) 39C (espace inscable)
degr (alcoolique) 40(pas despace en franais)
monsieur, messieurs M., MM. (pas de Mr , abrviation de langlais mister)
madame, mademoiselle M
me
, M
lle
Labrviation est fournie par L
A
T
E
X : \S ; les autres se codent facilement grce
babel/frenchb : \no{}, 1\iers{}, 2\ieme{}, \primo{}, 39~\degres{} C, M\up{me}, . . .
A.2.3 Ponctuation
Un mauvais emploi de la ponctuation peut rendre dicile la lecture, ou mme changer
le sens dune phrase. Quelques rappels :
les phrases se terminent par un point nal, un point dexclamation, un point din-
terrogation ou un point de suspension;
la virgule spare les parties dune proposition ou dune phrase condition quelles
ne soient pas dj runies par les conjonctions et, ou, ni. Elle spare les numra-
tions. Elle isole les mots mis en apostrophe. On ne met pas de virgule avant une
parenthse, un tiret ou un crochet ;
le point virgule spare direntes propositions de mme nature ;
le deux-points introduit une explication, une citation, un discours, une numra-
tion ;
le point de suspension est toujours compos de trois points ;
les parenthses intercalent une prcision dans la phrase ;
les crochets indiquent une prcision lintrieur dune parenthse ou une coupure
dans une citation ;
33
employ seul, le tiret signale chaque terme dune numration ou le changement
dinterlocuteur dans un dialogue. Employs par paires, ils sutilisent comme les
parenthses ; en n de phrase, le tiret fermant est supprim avant le point nal.
A.2.4 numrations
On peut distinguer deux types dnumrations :
celles qui arrivent en cours de phrase :
elles sont introduites par un deux-points et chaque terme commence par une
minuscule,
celles de premier rang sont introduites par un tiret et se terminent par un
point-virgule (mme sil y a plusieurs phrases dans lnumration), sauf la
dernire par un point nal,
celles de second rang sont introduites par un tiret dcal et se terminent par
une virgule ;
celles qui dbutent une phrase : chaque terme commence alors par une majuscule
et se termine par un point (voir un exemple en A.2.5).
En gnral, lorsque chaque lment de lnumration est introduit par un numro (ou
autre symbole) suivi dun point, on applique toujours le 2
e
cas ci-dessus.
A.2.5 Divers
On rappelle que laccent a pleine valeur orthographique ; en consquence on met
les accents sur les majuscules.
On crit on rsout , quel que soit , quelles que soient , intresser et
on rappelle quil est rappel .
Enn, on noublira pas dtre inform de la nouvelle orthographe , rforme orthogra-
phique de lAcadmie Franaise datant de 1990 ; lemploi de ces rectications nest pas
impos, mais il est recommand (en particulier, aucune des deux graphies ne peut tre
tenue pour fautive). Citons deux des dix nouvelles rgles :
On emploie laccent grave (plutt que laccent aigu) dans un certain nombre de
mots (pour rgulariser leur orthographe), au futur et au conditionnel des verbes
qui se conjuguent sur le modle de cder, et dans les formes du type puiss-je .
Ex : vnement, je cderai ;
Laccent circonexe disparait sur i et u. On le maintient nanmoins dans les
terminaisons verbales du pass simple, du subjonctif et dans cinq cas dambigit
(motivation : sur i et u, laccent circonexe ne joue aucun rle phontique ; il est
lune des principales causes derreurs et son emploi, alatoire, ne peut tre justi
par ltymologie. ). Ex. : cout, il parait ; d, sr, mr, jene.
Ces quelques lignes sont issues de [Ortho], court document qui rsume cette rforme,
lexplique, en dcrit les avantages et donne des remarques ainsi que des exemples.
34
B Explications complmentaires au TP
Dans cette annexe, nous expliquons certains points non dtaills pendant le TP, an de mieux
les comprendre et de savoir les utiliser ecacement. Pour des explications plus exhaustives,
se reporter aux ouvrages sur L
A
T
E
X.
B.1 Comprhension et utilisation de L
A
T
E
X
B.1.1 Fonctionnement et installation
Dans ce paragraphe, nous revenons plus en dtail sur les quatre tapes dcrites la section 1,
aprs avoir donn quelques explications sur linstallation de L
A
T
E
X.
Installation sous Windows Dirents outils sont installer, et dans le bon ordre.
Nous recommandons dutiliser ProT
E
Xt (http://www.tug.org/protext, protext.exe),
qui regroupe ces outils en un :
ProT
E
Xt MiKT
E
X + T
E
XnicCenter + Ghostscript + GSview,
ces deux derniers assurant la gestion du format PostScript. Linstallation est entirement
guide par un pdf interactif quil sut de suivre pour installer chacun des composants
(nous recommandons vivement de lire attentivement ce court document avant de dbuter
linstallation) ; il est possible dutiliser un autre diteur de texte, comme Texmaker (http:
//www.xm1math.net/texmaker/).
Installation sous Mac OS Nous recommandons dinstaller MacT
E
X (http://www.
tug.org/mactex), qui contient linterface graphique T
E
XShop que nous conseillons duti-
liser :
MacT
E
X T
E
XLive + T
E
XShop.
Installation sous Linux Nous recommandons la distribution T
E
XLive (http://www.
tug.org/texlive) avec lditeur Kile. La procdure dinstallation dpend de la distri-
bution Linux (cf. [LPI]).
Les quatre tapes Ltape 1 pourrait se faire via un diteur quelconque , comme
Nedit (sous Linux), TextEdit (sous Mac OS) ou WordPad (sous Windows) ; mentionnons
aussi Emacs, diteur de texte non graphique mais polyvalent et disponible sur tous
les systmes dexploitation : ses adeptes sont nombreux (la saisie dun chier .tex est
facilite grce lextension AucT
E
X). Les autres tapes se feraient alors alors via une
fentre de commande (o lon taperait la main latex TP.tex pour compiler).
Nanmoins, il existe des diteurs de texte orients L
A
T
E
X qui permettent de faire ces
tapes beaucoup plus agrablement, en quelques clics : cest ce que nous avons utilis
pendant la sance de TP et nous conservons ce point de vue dans la suite, o nous
donnons quelques remarques propres chaque tape.
35
Pour saisir son document (tape 1), plusieurs interfaces graphiques existent, dont
sous Linux : Kile, Texmaker ;
sous Mac OS : T
E
XShop, Texmaker ;
sous Windows : T
E
XnicCenter, Texmaker, WinEdt
35
.
Ces interfaces graphiques (ou diteurs de texte) sont lendroit o lon tape son chier
source ; ils sont distinguer de ce qui fait fonctionner L
A
T
E
X proprement par-
ler, cest--dire de ce qui fait fonctionner la compilation (tape 2). On parle alors de
distributions L
A
T
E
X; ces dernires ne sont pas non plus les mmes selon les systmes
dexploitation. Citons
sous Linux : T
E
XLive ;
sous Max OS : T
E
XLive ;
sous Windows : MiKT
E
X.
Aprs la compilation, L
A
T
E
X a produit le chier TP.dvi; il en a aussi cr dautres (qui
lui ont t utiles), mais les diteurs de texte savent choisir le bon lorsque lon demande de
visualiser (tape 3). Le logiciel de visualisation est en gnral fourni avec la distribution
L
A
T
E
X (Yap pour Windows, xdvi ou kdvi pour Linux, xdvi pour Mac) ; ce format dvi
ncessite cependant que L
A
T
E
X soit install pour souvrir correctement : cest en quelque
sorte un outil de travail pour le rdacteur, un peu comme un brouillon
36
. Par contre,
une fois que le document est sous sa version nale, on souhaite en gnral limprimer
ou le diuser (tape 4) : on utilise alors le format pdf (le format ps existe aussi). Les
interfaces graphiques cites ci-dessus permettent de faire ces conversions en quelques
clics : on obtient alors un chier lisible et imprimable par tous !
B.1.2 Compilation et obtention du pdf
Le schma suivant rsume les tapes de ralisation :
tex dvi ps pdf.
Une dernire remarque simpose alors : il existe un mode de compilation (PDFL
A
T
E
X)
qui, comme son nom lindique, compile directement TP.tex en TP.pdf :
tex pdf.
Attention : cet autre type de compilation nest pas un simple raccourci des tapes pr-
cdentes. Certains chiers sources ne se compileront pas correctement avec PDFL
A
T
E
X
(notamment si lon utilise PSTricks
37
, qui a besoin en gnral dun passage par
le format ps), alors que dautres seront plus faciles compiler via PDFL
A
T
E
X (comme
la classe beamer et plus gnralement tout chier exploitant les fonctionnalits de la
norme pdf
38
). Il est surtout trs important de faire attention au type de compilation
35. Ce dernier est payant.
36. On remarquera que ces logiciels mettent automatiquement jour le chier dvi aprs une nouvelle
compilation : il est donc inutile de les redmarrer chaque fois.
37. Outil le plus complet pour faire des graphiques volus (voir le paragraphe 4.4).
38. Comme les liens hypertextes, les proprits dachage par dfaut du pdf, etc.
36
lors de linclusion dimages ou de graphiques : PDFL
A
T
E
X ne permet dincorporer que
des chiers jpeg, png et pdf, alors que lautre chemin ne permet dincorporer que des
chiers PostScript (format ps ou eps). Beaucoup de logiciels mathmatiques proposent
denregistrer leur image en .eps; de plus, des logiciels graphiques (tels que Inskape,
TheGimp ou PhotoFiltre) permettent de faire des conversions vers une telle extension.
Signalons enn que certains packages existent pour contourner tous ces obstacles
39
; en
particulier, loption dvips du package hyperref permet de conserver les liens interactifs
dun document (beamer ou autre) lorsque lon cre le pdf en passant par dvi +ps.
Que retenir de tout cela ? Les procds mis en jeux par L
A
T
E
X ne sont pas simples ;
il est cependant inutile den connaitre toutes les subtilits pour dbuter, car les inter-
faces graphiques fournissent un environnement complet pour la ralisation de documents.
Quant aux deux types de compilation ci-dessus, le plus simple nous parait de faire un
choix et de sy tenir dans un maximum de cas ; ne faire alors appel lautre chemin que
lorsquil semble incontournable.
B.2 Le \documentclass
Le \documentclass permet de donner la classe (ou le type) du document que lon sou-
haite rdiger ; L
A
T
E
X en propose au moins cinq (article, report, book, letter, slides) mais il
en existe dautres (comme beamer). Nous ne prsentons ici que les trois premires (voir
paragraphe 4.5 pour slides et beamer) :
article convient pour un document court (moins de 30 pages) tel quun article de
recherche, un petit rapport
40
, une documentation, etc. ;
report convient pour un document de taille moyenne, tel quun long rapport, un
mmoire, etc. ;
book est rserver pour un long document tel quun livre, un rapport de thse, un
polycopi de cours, etc.
En fait, le choix de la classe nest pas aussi rigide : chaque classe ore quelques fonction-
nalits direntes (voir ci-dessous) et cest selon ses prfrences que lon choisit la classe
pour les cas limites (comme un rapport de stage dune trentaine de pages. . .).
Des options peuvent tre ajoutes la dclaration de classe, en particulier :
la taille du corps de base : 10pt (par dfaut), 11pt ou 12pt;
loption titlepage qui indique quune nouvelle page doit tre commence aprs
lajout du titre par \maketitle
41
;
loption draft qui permet, entre autres, dviter de charger les images incluses par
\includegraphics lors de la pr-visualisation (tout en dlimitant dans le docu-
ment lespace ncessaire linsertion des images) : cela vite les ralentis de com-
39. Voir les packages hyperref, urlbreak, pdftricks, . . . ce dernier ntant pas ecace dans 100% des cas.
40. Rapport de TP, de sminaire, etc.
41. Voir paragraphe 4.1.
37
pilation et dachage, sans modier la mise en page. Cette option est bien sr
retirer avant la compilation nale !
Elles sutilisent suivant la syntaxe
\documentclass[12pt, titlepage]{article}.
Citons maintenant deux dirences entre ces trois classes : tout dabord, report et book
admettent le sectionnement \chapter, contrairement article
42
. Ensuite, L
A
T
E
X choisit
les options par dfaut et ces choix peuvent dpendre de la classe (ainsi report et book
sont par dfaut sous titlepage, alors quarticle ne lest pas). Bien souvent, il est dconseill
de modier un grand nombre doptions car, pour une classe de document donne, les
choix de L
A
T
E
X sont habituellement judicieux du point de vue de la mise en page.
B.3 Le prambule et les packages
B.3.1 Les packages de base
Nous revenons ici sur les packages prsents la section 2, en dcrivant trs brivement
leur rle ; des informations compltes peuvent tre trouves dans la documentation de
chaque package (celle-ci tant disponible sur le Web mais aussi, en gnral, copie sur
le disque dur linstallation de L
A
T
E
X).
inputenc permet de taper directement au clavier les accents et cdilles dans le chier
source (ce package sert spcier le codage dentre). Faire attention : loption
dpend du systme dexploitation ou de lditeur de texte sous lequel est saisi (ou
a t saisi) le chier ; revenons donc sur le choix de loption dinputenc, comme
crit page 4 :
sous Linux, lencodage par dfaut peut tre UTF-8 (remplacer alors <option
choisir> par utf8) ou ISO-8859-1 (remplacer alors par latin1) ;
sous Mac OS, il sagit de lencodage Mac OS Roman (remplacer alors par
applemac) ;
Pour savoir dans quel encodage est votre diteur, il faut regarder dans un menu du
genre options ou prfrences . Dans tous les cas, il faut que loption donne
inputenc concide avec le rglage de lditeur !
Insistons lourdement et remarquons que cela nuit gravement la portabilit du
chier source (mais pas du pdf) ; exemple : si lindividu M tape son chier source
sous Windows et que lindividu G souhaite le compiler sur Mac OS, alors il ny aura pas
de problme ( condition que G laisse loption cp1252) ; mais si G veut modier le chier
sur son Mac, alors il y aura un mlange des encodages et les accents des chiers (source et
compil) ne sacheront pas correctement. Un moyen ecace (mais pnible) de palier
ce problme est de transformer tous les caractres accentus en leur quivalent
42. L
A
T
E
X estime quun document de classe article na pas besoin de ce niveau de sectionnement : si au
cours dune rdaction sous article vous en ressentez le besoin, cest quil faut changer de classe.
38
T
E
X ( \e, etc.) au moment de lchange du chier source. . . ; une autre
solution, plus simple, consiste se mettre daccord sur un encodage commun.
Nous conseillons lheure actuelle aux utilisateurs de Linux et de Mac OS dutiliser
le codage ISO-8859-1 dans leur diteur de texte (choix discutable, cf. B.3.2).
fontenc, avec loption T1, permet une bonne csure
43
des mots de langues latines
(ce package sert spcier le codage des fontes).
lmodern permet dadapter la police de base de L
A
T
E
X aux nouveaux formats apparus
depuis sa cration, le format pdf notamment (ce package charge la police Latin
Modern).
babel permet de prendre en compte la langue de rdaction (ventuellement plu-
sieurs) pour la mise en page, les rgles typographiques, les csures, etc. ; frenchb
est loption actuellement utiliser pour un document en franais. On notera que
babel/frenchb apporte des commandes supplmentaires pour la langue franaise
(par exemple, \ier{} permet dcrire lexposant de 1
er
) et francise les mots-cls de
L
A
T
E
X (par exemple, lappel \tableofcontents achera Table des matires
au lieu Contents ).
geometry permet ici de spcier la dimension des pages du document (loption
par dfaut tant le format en vigueur aux tats-Unis, il est important de prciser
loption a4paper pour une impression qui se fera sur du papier A4). Ce package
est bien plus puissant : il facilite aussi un contrle n et complet des marges du
document (essayez [a4paper, body={16cm,24cm}]).
amsmath et amssymb apportent des fonctionnalits supplmentaires en mode ma-
thmatique. Remarquez la syntaxe (nous aurions pu aussi les charger au moyen
de deux \usepackage{}) : en regroupant de la sorte, on peut rendre plus lisible le
chier source
44
.
B.3.2 Package inputenc et encodage
Ce paragraphe est loccasion de parler brivement dencodage. Cest une notion tech-
nique, dj aborde en note n
o
3 (page 4) et au paragraphe B.3.1 (avec inputenc) ; on a
besoin de sen soucier dans trois cas au moins : lorsque plusieurs personnes travaillent sur
un mme chier .tex via des systmes dexploitation dirents ou lorsquune personne
travaille son chier sur des systmes dexploitation dirents (par exemple Windows
la maison et Linux la fac) ou lorsque la langue de rdaction utilise des caractres non
prsents dans notre alphabet classique . lheure actuelle (mars 2010) aucun choix
nest optimal, donc il existe des situations o ceux que nous avons proposs dans le TP
ne sont pas les meilleurs : il faut savoir sadapter ! Donnons nos motivations :
pourquoi de pas avoir utiliser UTF-8 ? L
A
T
E
X nest pas encore (compltement) prt ;
nanmoins, cest un encodage universel
45
qui a vocation simposer dici quelques
43. Coupure de n de ligne.
44. Ce qui ne change rien pour L
A
T
E
X lors de la compilation, mais facilite la lecture du chier .tex.
45. Cet encodage est commun tous les systmes dexploitation et vise regrouper lensemble des
caractres utiliss dans toutes les langues ocielles de la Terre.
39
annes (cest en gnral lencodage par dfaut sous Linux) ;
pourquoi viter lencodage Mac OS Roman ? Parce quil est vraiment trs (trop ?)
spcique ce systme dexploitation ;
pourquoi proposer ISO-8859-1 ? Parce que cet encodage (de Linux) est trs proche
de celui de Windows ;
pourquoi alors ne pas avoir utilis ce dernier encodage pendant le TP? Parce que
la version actuelle
46
de T
E
XnicCenter ne permet pas de changer dencodage ; nan-
moins, les dirences entre lISO-8859-1 et le cp1252 de Windows sont tellement
minimes que dans la pratique on ne rencontre pas de problmes si lon confond les
deux.
Il faut bien comprendre que le choix de loption du package inputenc ne modie pas len-
codage de lditeur ; il permet seulement dindiquer L
A
T
E
X quel encodage est utilis par
lditeur (puisquil ne peut pas le deviner tout seul. . .). Il appartient donc lutilisateur
de donner inputenc loption correspondant aux rglages de lditeur.
B.3.3 Quelques autres packages utiles
Donnons ici une liste de certains packages (non abords dans ce TP) qui peuvent se rvler
utiles ; cette liste est bien sr trs loin dtre exhaustive ! Pour toute information, se reporter
la documentation du package.
Il existe un trs grand nombre de packages, qui pourraient tre classs en trois catgories :
certains deviennent plus ou moins incontournables (cf. B.3.1) dautres enrichissent des
fonctionnalits de L
A
T
E
X dj existantes (tels les enttes et pieds de page) et dautres
encore sont trs spcialiss (pour la composition de molcules chimiques par exemple).
Il faut savoir que les packages voluent au gr de leur(s) concepteur(s) ; ainsi, certains
deviennent obsoltes et sont remplacs par des plus performants. Un bon conseil est de
vrier la date de dernire mise jour du package avant de sen servir.
enumitem pour personnaliser les trois types de listes ; loption shortlabel est souvent
celle recherche par les utilisateurs.
fancyhdr pour personnaliser les enttes et pieds de page.
oatrow pour personnaliser les ottants.
hyperref pour faciliter la navigation hypertexte dans les versions pdf (i.e. transformer
les \ref{}, \cite{}, etc. en liens cliquables) et pour grer quelques outils oerts
par le format pdf (cf. 4.7.4 de [lshort-fr]).
listings pour mettre en forme des lignes de code ; il connait
47
normment de langages
informatiques. Attention, utiliser des caractres propres lUTF-8 lintrieur
dun environnement lstlisting peut tre source dincompatibilits.
46. Il sagit de la version 1.0, i.e. la premire version stable ; notons quelle est sortie en 2008 alors que
cet diteur tait utilis depuis plusieurs annes auparavant : ctait sous des versions dites bta . Notons
enn que la version 2, actuellement disponible en version bta, permet de grer dautres encodages.
47. Cela signie quil est capable de reconnaitre les mots-cl, les commentaire, etc. dun langage et
dadapter la mise en forme en consquence.
40
siunitx pour grer dune manire cohrente lcriture des units ; on vitera lusage de
SIunits. . .
subg pour grer les sous-ottants.
tocbibind pour ajouter automatiquement la table des matires des entres qui ne sy
mettent pas toutes seules (commandes de sectionnement toiles, etc.).
url pour mieux assurer la csure des adresses web ou email ; attention, la commande
\url{} est fragile (explication de ce mot dans [lshort-fr]).
varioref pour amliorer lutilisation de \pageref{} (en crivant page suivante plutt
que le numro de page si lon fait rfrence . . . la page suivante, etc.).
xspace pour ne pas avoir taper des accolades la n de certaines commandes si lon
veut une espace derrire (i.e. 1\ier exercice au lieu de 1\ier{} exercice, etc.).
B.4 Le prambule et les macros
Revenons ici sur la deuxime partie dun prambule classique, introduit la section 2. Il sagit
dun outil de personnalisation trs puissant de L
A
T
E
X : on peut crer ses propres commandes
(voir le paragraphe 6.1.1 de [lshort-fr]).
Cela se fait avec la commande \newcommand*{}[]{} (ltoile est retirer si la commande
doit sappliquer un objet plus grand quun paragraphe). Illustrons cette fonctionnalit
travers dirents exemples (sauf mention contraire, les extraits de code qui suivent
sont taper dans le prambule, aprs le chargement des dirents packages) :
1. Abrger un nom de commande : \newcommand*{\eps}{\varepsilon}. Il sura
alors de taper (dans le corps de document) $\eps$ pour acher .
2. Distinguer le fond et la forme : \newcommand*{\nom}[1]{\textsf{#1}}. Cet exem-
ple illustre dailleurs lutilisation des commandes paramtres (un seul ici). Cest
une macro utilise dans cette feuille de TP : ds que lon a cit un nom de package,
denvironnement, de logiciel, etc. on a crit, par exemple, \nom{beamer} au lieu
de \textsf{beamer}. Cest a priori se compliquer la vie, mais il nen est rien : en
distinguant ainsi le fond et la forme dans le chier source, on le rend plus lisible
et plus facile corriger ; autre avantage : si au dernier moment on doit acher ces
noms en type machine crire (par exemple pour se coordonner avec un col-
lgue qui aurait rdig une autre partie du document), il sut de changer un seul
endroit du chier source et tout le reste en dcoulera automatiquement. Dautres
exemples convaincants sont prsents dans le gros exemple (page 19).
3. Crer de nouveaux oprateurs mathmatiques (certains oprateurs courants ou
franciss ne gurent pas dans L
A
T
E
X) : \DeclareMathOperator{\divg}{div} per-
met de dnir loprateur divergence ; il permet dcrire (dans le corps de docu-
ment) :
41
Formule de la divergence :
\[\oint_{\partial\Omega}\vec X
\,\mathrm{d} S=\int_\Omega
\divg\vec X\,\mathrm{d}x.\]
Formule de la divergence :
_

X dS =
_

div

X dx.
Ces deux commandes ne permettent pas de renommer une macro dj existante (par
exemple, \div existe sous L
A
T
E
X). On remarque aussi que pour utiliser \eps dnie ci-
dessus, on doit tre en mode mathmatique : en rajoutant la bonne commande dans la
dnition de cette macro, on peut faire en sorte que L
A
T
E
X passe automatiquement en
mode mathmatique quand cest ncessaire. . .
Mentionnons pour nir quil est possible de personnaliser plein dautres choses : des
environnements, des compteurs, des ottants, . . . on renvoie [lshort-fr].
B.5 O trouver de laide ?
Si vous avez besoin daide, sachez quil y a de fortes chances que quelquun ait dj t
confront votre problme avant vous : une rponse gure donc sans doute dans une
quelconque documentation. . .
Parmi les polycopis librement tlchargeables : [lshort-fr] distribu en cours (dont
la version pdf est rgulirement actualise sur Internet) ou [Loz] ;
Parmi les livres : le trs pdagogique [B-Ch] (dont une nouvelle dition est prvue
pour juin 2010) ou [LPI] ;
Parmi les FAQ : le pdf en cours de rdaction [FAQ], qui est sans doute la plus
complte en franais.
Pour ceux disposant dun accs permanent Internet, des FAQ et des forums
(pour dbutants) en ligne existent : la partie L
A
T
E
X des sites mathematex.net ou
developpez.com par exemple ;
Pour les mathmatiques, quelques pistes gurent au paragraphe 3.6.3.
Le dernier recours reste dutiliser son moteur de recherche favori et de saccrocher pour
trouver la rponse la plus pertinente, en prenant garde au fait que la trs populaire FAQ
de lquipe Grappa de Lille ne semble plus mise jour depuis longtemps.
42
Rfrences
[amsldoc] American Mathematical Society. Users Guide for the amsmath Package,
fvrier 2002 (document pdf). http://www.ctan.org/.
[And] Jacques Andr. Petites leons de typographie, novembre 2008 (document
pdf). http://jacques-andre.fr/.
[B-Ch] Denis Bitouz, Jean-Cme Charpentier. L
A
T
E
X. Collection Synthex,
Pearson Education France, 2006.
[FAQ] La FAQ de fr.comp.text.tex, novembre 2004 (document pdf). http:
//faqfctt.fr.eu.org/.
[Fli] Daniel Flipo. Documentation sur le module frenchb de Babel, dcembre
2008 (document pdf). http://daniel.flipo.free.fr/frenchb/.
[lshort-fr] Tobias Oetiker (pour la version anglaise), traduit en franais. Une courte
( ?) introduction L
A
T
E
X2

, janvier 2010 (document pdf). CTAN://info/


lshort/french/.
[Loz] Vincent Lozano. Tout ce que vous avez toujours voulu savoir sur L
A
T
E
X
sans jamais oser le demander, octobre 2008 (document pdf) http://
cours.enise.fr/info/latex/.
[LPI] Cline Chevalier et co-auteurs. L
A
T
E
X pour limpatient. H&K, 2005.
[Mathmode] Herbert Vo. Math mode, janvier 2009 (document pdf). http://www.ctan.
org/.
[McC] McClinews. Dcouverte de Beamer, dcembre 2008. http://mcclinews.
free.fr/latex/introbeamer.php.
[Obj] Vincent Beck, Jrome Malick, Gabriel Peyr. Objectif Agrgation, 2
e
dition. H&K, 2005.
[Ortho] La nouvelle orthographe, parlons-en !, septembre 2007 (document pdf).
http://www.orthographe-recommandee.info/.
[Pak] Scott Pakin. The Comprehensive L
A
T
E
X Symbol List, septembre 2005 (do-
cument pdf). http://www.ctan.org/.
43