Partie I/ Chapitre 3/ page 49, Exercice 7.9, 
il manque une hypothèse : la fonction f doit être calculable.

----------------------------------------------------------------------
Partie II/ Chapitre 16/ page 378, Lemme 1.19, 
La dernier symbole de la preuve doit être "[T_1]" à la place de T_1

Partie II/ Chapitre 16/ Solution exercice 2.6 (page 771)
Le premier log^{n}(|\sigma|) doit être log^{k}(|\sigma|)

Partie II/ Chapitre 17/ Page 401
la fréquence de 0 dans le préfixe de X de taille m dépasse 1/2+\epsilon ou est en dessous de 1/2+\epsilon
=> Le deuxième 1/2+\epsilon devrait être 1/2-\epsilon

Partie II/ Chapitre 17/ Exemple 3.8 Page 406
L'inice n de l'ensemble \A_{e, n, \sigma} est superflu

Partie II/ Chapitre 18/ Solution exercice 1.3 (page 774)
"q = n" devrait être "q = 2^n"

Partie II/ Chapitre 19/ Page 441
"Un théorème classique nous dit par exemple qu'une fonction~$f:\RR \rightarrow \RR$ de graphe borélien est continue presque partout."
=> Ce n'est pas exact : c'est presque partout une fonction limite de fonctions continues.

Partie II/ Chapitre 20/ Définition Page 445
"K^A(\sigma) \leq^+ K(\sigma)" devrait être "K(\sigma) \leq^+ K^A(\sigma)"

Partie II/ Chapitre 20/ Page 456
Dans l'algorithme, \min(w, |\rho|) devrait être \max(w, |\rho|)

----------------------------------------------------------------------
Partie III/ Chapitre 27/ Lemme 2.13 Page 641
"tout sous-ensemble B \subseteq A" devrait être "tout sous-ensemble non-vide B \subseteq A"

Partie III/ Chapitre 28/ Après la définition 3.1 Page 673
"le long des ordinaux \alpha < \omega_1^{ck}" devrait être "le long des ordinaux \alpha < \omega_1^X"

Partie III/ Chapitre 29/ Page 679
L'exercice 28-1 devrait être référencé 28-1.11

Partie III/ Chapitre 29/ Page 681
Le paragraphe sur la Lusitanie : peu de temps avant la première guerre mondiale, et non la seconde.

Partie III/ Chapitre 29/ Preuve proposition 5.7 Page 700
"chaque nœud de T de taille 1" devrait être "chaque nœud de T_1 de taille 1"