From 03c5d8e1d403c04c29d930f8df8bee122cfe4a20 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 23 Mar 2016 17:30:25 +0100
Subject: Slight update to index.

---
 notes-mitro206.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'notes-mitro206.tex')

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 876c0cc..9e1373d 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -134,7 +134,7 @@ quelques unes de ces théories des jeux.
 le jeu possède un \defin{état}, qui évolue dans un ensemble (fini ou
 infini) d'états ou \defin{positions} possibles ; un certain nombre de
 \defin{joueurs} choisissent, simultanément ou consécutivement, un
-\defin{coup} à jouer parmi différentes \defin{options}, en fonction
+\defin{coup} à jouer parmi différentes \defin[option]{options}, en fonction
 de l'état courant, ou peut-être seulement d'une fonction de l'état
 courant ; ce coup peut éventuellement faire intervenir un aléa (hasard
 voulu par le joueur) ; l'état du jeu évolue en fonction des coups des
@@ -3344,7 +3344,7 @@ $G/\equiv$, on a bien $f(x) = f(x')$ ssi $x\equiv x'$).
 
 \subsection{Présentation informelle}
 
-\thingy Les ordinaux sont une sorte de nombres, totalement ordonnés et
+\thingy Les \index{ordinal}ordinaux sont une sorte de nombres, totalement ordonnés et
 même « bien-ordonnés », qui généralisent les entiers naturels en
 allant « au-delà de l'infini » : les entiers naturels
 $0,1,2,3,4,\ldots$ sont en particulier des ordinaux (ce sont les plus
@@ -4394,7 +4394,7 @@ souligne que les chiffres sont \emph{tous nuls sauf un nombre fini}
 (ce qui permet de les comparer lexicographiquement).
 
 Les deux cas les plus importants sont $\tau=2$ et $\tau=\omega$ : le
-cas $\tau=2$ correspond à l'\defin{écriture binaire} d'un ordinal,
+cas $\tau=2$ correspond à l'\index{binaire (écriture)}\defin{écriture binaire} d'un ordinal,
 c'est-à-dire son écriture comme somme décroissante finie de puissances
 de $2$ distinctes, et le cas $\tau=\omega$ s'appelle écriture en
 \defin[Cantor (forme normale de)]{forme normale de Cantor}, c'est-à-dire comme somme
-- 
cgit v1.2.3

