L'emergence d'un théorème logique | lit.salon