Théorème vivant

Lyon, le 23 mars 2008

Un dimanche à 13 heures; le laboratoire serait désert, s'il n'y avait deux mathématiciens affairés. Un rendez-vous intime pour une séance de travail au calme, dans le bureau que j'occupe depuis huit ans au troisième étage de l'École normale supérieure de Lyon.
Assis dans un fauteuil confortable, je tapote énergiquement sur le large bureau, les doigts déployés telles les pattes d'une araignée, comme mon professeur de piano m'y a entraîné jadis.
À ma gauche, sur une table séparée, une station de travail informatique. À ma droite, une armoire contenant quelques centaines de livres qui parlent de mathématique et de physique. Derrière moi, soigneusement rangés sur de longues étagères, des milliers et des milliers de pages d'articles, photocopiés à une époque ancestrale où les revues scientifiques n'étaient pas encore électroniques; et des reproductions de nombreux ouvrages de recherche, photocopillés à une époque où mon salaire ne me permettait pas d'étancher ma soif de livres. Il y a aussi un bon mètre linéaire de brouillons, méticuleusement archivés durant de longues années; et tout autant de notes manuscrites, témoins d'innombrables heures passées à écouter des exposés de recherche. Sur le bureau devant moi, Gaspard, mon ordinateur portable, baptisé en l'honneur de Gaspard Monge, le grand mathématicien révolutionnaire; et une pile de feuilles couvertes de symboles mathématiques, griffonnées aux huit coins du monde et rassemblées pour l'occasion.
Mon complice, Clément Mouhot, regard pétillant et marqueur à la main, se tient près du grand tableau blanc qui occupe tout le mur en face de moi.
- Alors explique, pourquoi tu m'as fait venir, c'est quoi ton projet? Tu n'as pas trop donné de détails dans ton mail...
- Je me remets à mon vieux démon, évidemment c'est très ambitieux, c'est la régularité pour Boltzmann inhomogène.
- Régularité conditionnelle? Tu veux dire, modulo des bornes de régularité minimales?
- Non, inconditionnelle.
- Carrément! Pas dans un cadre perturbatif? Tu crois qu'on est prêts?
- Oui, je m'y suis remis, j'ai à peu près bien avancé, j'ai des idées, mais là je suis bloqué. J'ai décomposé la difficulté avec plusieurs modèles réduits, mais même le plus simple m'échappe. Je croyais l'avoir avec un argument de principe de maximum, et là non, tout s'est écroulé. J'ai besoin d'en parler.
- Vas-y, je t'écoute.