Règles et indications

Premièrement, nous voulons un fichier source LaTeX2e logique et cohérent, qu'un utilisateur pourra adapter facilement (autre taille des pages, autres polices, pour donner quelques exemples). La mise en page exacte n'est pas trop importante pour le moment. On devra donc essayer de garder les commandes utilisées les plus simples et les plus standard possibles. Si possible, aucune commande d'espacement ne devra être faite `à la main'.

Nous voulons que les participants comprennent ce qu'ils sont en train de saisir. Une bonne raison pour cela est que l'on a besoin de savoir à quels types d'objets on a affaire pour choisir la bonne police. Par exemple, un F souligné représentant un faisceau doit devenir \mathcal{F}, et un X manuscrit représentant un schéma formel doit être saisi comme \goth{X}.

Règles de mise en page

Ne changez pas le squelette en dehors de votre part sans bonne raison. De toutes façons, de tels changements n'auraient pas d'effet car votre part sera incluse dans le fichier principal par `copier-coller'. Donc, en fait, vous êtes libres d'éditer l'en-tête, mais il ne faut pas oublier que ce que vous tapez doit marcher avec l'en-tête du squelette comme vous l'avez reçu.

N'ajoutez pas de macros (i.e., \newcommands etc.). Si vous voulez ajouter une macro, demandez moi (courrier électronique) de la mettre dans l'en-tête du squelette. Voir ici pour la liste des macros du squelette. Bien sûr, vous pouvez également lire l'en-tête du squelette. La plupart des notations en mode mathématique qui sont basées sur des abréviations (et à saisir en romain) comme `an' (pour analytification), `Gal' (pour groupe de Galois) sont dans la liste des macros (\an et \Gal, par exemple). Dans ce cas le nom de la macro est le fragment de texte qui doit apparaître, sauf si c'est impossible (e.g., \divisor pour `div' pour diviseur d'une fonction). Si une telle notation n'est pas disponible comme macro, utilisez \mathrm{} (ou simplement \rm{}, qui a été définie comme \mathrm{}), ou demandez moi de faire une macro.

Du texte qui a été mis en évidence, soit souligné dans un contexte non souligné, soit non souligné dans un contexte souligné, doit être saisi avec \emph{}. Dans le dernier cas, le texte doublement mis en évidence apparaîtra droit (upright) dans un contexte penché (slanted). Pour des environnements comme les théorèmes etc., la mise en évidence est automatique. Les corrections d'italiques sont automatiques si on utilise \emph{}.

Formules. Les symboles soulignés dans les formules mathématiques sont à saisir dans la police adéquate. Cela veut dire: gras (bold), script (calligraphic), gothique, ou `blackboard bold', suivant le type d'objet concerné. Voir ici pour une liste de types d'objets et comment les saisir, et ici pour un fichier dvi expliquant comment saisir les notations de l'indice des notations de SGA1.

Utilisez \begin{enumerate}\item[...] ..... \end{enumerate} pour des listes dans les théorèmes etc., quand cela convient.

Pour l'espacement en mode mathématique, si nécessaire, utilisez `\,', `\:', `\;', `\quad' or `\qquad'. Exemple: dans une `displayed equation', suivie d'un peu de texte sur la même ligne, on peut avoir `...., \qquad\text{avec $S'=...$)'.

Pour noter `f: X --> Y' utilisez \colon (e.g., f\colon X\to Y).

(Co)Homologie. Utilisez la macro \H. Exemple: \H^1(X,\cal{F}). De même, pour les dérivés à droite de foncteurs, utilisez \R.

Pour les notes en bas de page (qui apparaissent comme `(*)' dans le texte) utilisez \footnote{}. Les notes en bas de page sont alors numérotées à l'intérieur de chaque exposé.

Limites projectives et injectives: on peut utiliser \varinjlim et \varprojlim, avec \underset. Par exemple: \underset{i}{\varinjlim}.

Pour la flèche `oscillante' (\leadsto en TeX) qui indique ce que fait une application avec des éléments d'un ensemble: utilisez \mapsto. Exemple: $f\colon X \to Y$, $x\mapsto f(x)$.

La notation des suites spectrales: utilisez \Rightarrow, ou \Longrightarrow, ou leurs versions `à gauches'.

Références internes au livre: utilisez \ref{}. Par exemple: \ref{I.3.7}, ce qui produit `3.7'. Toutes les sections et théorèmes etc. qui sont numérotés ont des labels dans le format suivant: le numéro de l'exposé en ROMAIN, suivi des numéros dans le livre, séparés par des points. Notez que le numéro produit par \ref{} ne contient pas le numéro de l'exposé. Donc si vous voulez obtenir `I.3.7', utilisez `I.\ref{I.3.7}'.

Références à la bibliographie d'un exposé: à saisir à la main. Par exemple: `[1]'.

Catégorie opposée: utilisez ^\circ. Exemple: \cal{C}^\circ.

Utilisez `\ell' pour les l manuscrits ou en script, et `l' pour les l ordinaires.

Pour le `blackboard bold' mu (utilisé pour les racines de l'unité), utilisez \Bbb{\mu} (cela donne le même résultat que \mu, mais cela pourra s'améliorer un jour).

Utilisez \No pour saisir le `N^o' (N avec exposant o) pour Numéro. Exemple: \No~2.

Utilisez des `tildes' pour empêcher des coupures de lignes à tous les endroits nécessaires (rappelez vous qu'un utilisateur doit pouvoir modifier la longueur des lignes et obtenir un résultat raisonnable). Exemple: `......de $B$ sur~$A$.' ne sera pas coupé entre `sur' et `$A$'.

Pour les exposants à gauche il y a une macro \leftexp (voir en bas).

Si vous avez une question, posez la moi par courrier électronique (ou posez la d'abord à quelqu'un près de vous). Par exemple, je peux imaginer qu'on hésite à propos du dual de \mathit{\Omega}_{X/S} à la page 73, qui doit être (je pense) \goth{g}_{X/S}.

Indications sur la mise en page

Un mot sur la documentation TeX et LaTeX. La source principale est la CTAN archive. Chaque distribution raisonnable de TeX devrait contenir beaucoup de documentation, disponible en ligne sur votre ordinateur. Par exemple, sur mon ordinateur, la documentation de la distribution teTeX est accessible à partir de /usr/share/texmf/doc/index.html. Pour votre commodité, voici un lien vers un manuel de référence complet des commandes de LaTeX2e en format dvi.

Caractères accentués. Comme nous saisissons un texte français, il est commode de saisir les caractères accentués tels quels. Même en utilisant un clavier sans caractères accentués, vous pouvez les taper avec l'éditeur emacs en utilisant la mode iso-accents-mode (l'utilisation du package isolatin1 permet d'exécuter latex sur un tel fichier source). Vous pouvez (dans emacs) permuter entre les formats TeX ({\'e}) et iso (é) avec les commandes iso-tex2iso et iso-iso2tex.

L'en-tête contient des commandes qui chargent, entre autres, les packages suivantes:

• babel, avec option français. Ceci sélectionne le style français de mise en page. Par exemple, un blanc est inséré automatiquement entre la fin d'un mot et certains caractères de ponctuation; on doit donc taper `question?' et non `question ?' ni (le plus robuste) `question~?'.
• isolatin1. Ceci permet d'utiliser les caractères accentués (codés en iso-8859-1) dans le fichier source. Si votre distribution de TeX ne le contient pas: le voici.
• amsmath. Pour la documentations, voir Chapitre 8 du livre `The LaTeX Companion', dont une version révisée est disponible en ligne en format pdf. Une autre référence est le User's Guide. Pour un fragment de texte en mode mathématique, utilisez \text{}.
• amssymb. Ce package contient le package amsfonts. Voir ici pour un tableau des nombreux symboles mathématiques disponibles, en format dvi.
• amscd. Pour faire des diagrammes commutatifs simples. Pour une documentation, voir la section 8 du User's Guide mentionnée ci-dessus.
• XY-pic. Pour les diagrammes plus compliqués. Voir le XY-pic User's Guide ou le XYpic reference manual en format ps pour une documentation. Voici deux exemples, avec des flèches doubles et triples entre des objets (utiles pour des diagrammes liés à la descente):

        \xymatrix{S \ar[r] & X \ar@<2pt>[r]\ar@<-2pt>[r] & Y 
        \ar@<4pt>[r] \ar[r] \ar@<-4pt>[r] & Z}
  
        \xymatrix{X\times Y\times
        Z\ar@<8pt>[r]^-{f}\ar@<-2pt>[r]^-{g}\ar@<-6pt>[r]_-{h} &S}
        

• a4wide. Pour utiliser le papier plus efficacement. Si votre distribution de TeX ne le contient pas: le voici.
• mathrsfs and times. Pour des fontes. Si votre distribution de TeX ne le contient pas, regarder sur les pages des archives CTAN (voir dessus) pour voir comment l'installer. Et plaignez-vous auprès de votre distributeur, d'autant plus s'il vous a fait payer !

Quelques mots sur l'utilisation de fontes en LaTeX2e. Une fonte est la donnée de trois attributs: une famille (rm (romain), ssf (sans serif) or tt (typewriter)), une forme (ou police) (up (droit), it (italique), sl (penché), sc (small caps)), et une série (graisse) (md (medium), bf (bold face)). Chaque commande telle que \textrm, \textup, \textmd change seulement un des trois attributs. Par exemple, la commande \textup{} dans $\Hom_\text{\textup{$k$-alg}}(A,B)$ fait paraître `alg' en droit, même si le contexte est penché (comme dans un théorème).

En mode mathématique, les commandes qui changent les attributs des fontes sont de la forme \mathrm, \mathit, etc. Les vieilles commandes de LaTeX 2.09 \rm, \it, \bf and \cal ont étés redéfinies comme \mathrm, \mathit, etc. Notez que ces commandes doivent être utilisées comme `\rm{Hom}' et non `{\rm Hom}' (dans le dernier cas, seulement le H de Hom paraîtra en romain). Leur utilisation en mode texte conduit maintenant à un message d'erreur.

Retour aux règles de mise en page, aux indications de la mise en page, au début de cette page, à la page précédente.

Liste de macros

Macros basées sur des abbréviations

Autres macros

Quelques symboles supplémentaires

Symboles en `blackboard bold'

La macro \Bbb est redéfinie comme suit: \renewcommand{\Bbb}{\mathbb}.

\CC	\newcommand{\CC}{\Bbb{C}}	nombres complexes
\GG	\newcommand{\GG}{\Bbb{G}}	pour groupe multiplicatif/additif
\LL	\newcommand{\LL}{\Bbb{L}}	ensemble fini de nombres premiers
\NN	\newcommand{\NN}{\Bbb{N}}	nombres naturels
\PP	\newcommand{\PP}{\Bbb{P}}	pour espace projectif
\QQ	\newcommand{\QQ}{\Bbb{Q}}	nombres rationnels
\RR	\newcommand{\RR}{\Bbb{R}}	nombres réels
\VV	\newcommand{\VV}{\Bbb{V}}	fibré vectoriel associé à un faisceau de modules
\ZZ	\newcommand{\ZZ}{\Bbb{Z}}	entiers

Retour aux règles de la mise en page, aux indications de la mise en page, au début de cette page, à la page précédente.

Liste de types d'objets, comment les saisir, et exemples

schéma formel	\goth	\goth{X}
idéaux dans des anneaux, en minuscules	\goth	\goth{n}, \goth{p}
faisceau	\cal	\cal{F}
faisceau `grec'	\it	\it{\Omega}
catégorie	\cal	\cal{E}, sauf quand standard tel que \Ens, \Sch
champ (stack)	\cal	\cal{F}
espace analytique	\goth	\goth{X}

Quelques remarques.

Notation pour les groupes fondamentaux. La plupart des pi manuscrits dans le texte doivent devenir des `\pi', mais quelques uns, également manuscrits, plus grands et plus droits (voir page 132) deviennent `\Pi'. La différence est que \pi est un groupe topologique, tandis que \Pi est un pro-groupe dans une catégorie galoisienne.

Questions (fréquentes ou pas du tout), et réponses

• Comment je trouve la part que je dois saisir ? Supposons que c'est la part numéro 13. Chercher `beginning of 13' dans le fichier skeleton.tex.
• Où est-ce que je trouve la version postscript des SGA sur les pages de Stein ?Ici.