[Bou84]. Les adjectifs entre guillemets sont tirés de la légende du graphique de la page 160.