Il se saisit de la plus petite poupée et s'acharna sur son cou. C'était la seule poupée qui n'en contenait pas d'autre et pourtant l'acharnement du garçon était tel que des larmes coulèrent de ses yeux. Ses mains cherchaient désespérément, comme si la poupée avait dû contenir autre chose.

Ian Watson, L'Enchâssement

      Les notions de « beauté » et d'« applicabilité » sont souvent présentées comme opposées par ceux qui pratiquent les mathématiques. J'ai, au cont raire, l'impression que ces deux notions peuvent se combiner, de sorte que le caractère applicable d'une théorie ne nuit en rien à la beauté des mathématiques sous-jacentes, et peut même y participer. Pour appuyer cette thèse, je voudrais présenter ici quelques résultats contenus dans [GHA].

Ce qui a motivé mon choix, c'est que j'ai assisté à une présentation de cet article au cours d'une conférence et que son caractère appliqué m'a immédiatement sauté aux yeux, alors que les autres papiers présentés paraissaient être purement théoriques. J'ai complété ma lecture de [GHA] par celle de [JR] afin d'obtenir les bases théoriques nécessaires et c'est le résultat de ces investigations que je vais livrer ici.

[...]