« Démontrer des théorèmes, c’est un jeu auquel nous jouons pour nous améliorer. Le but, ce n’est jamais de gagner le jeu. »