Aujourd'hui j'assistais à un exposé (dans le cadre du séminaire de théorie des nombres de Chevaleret) sur Model Theory of the Witt Frobenius, with Emphasis on an Ax-Kochen-Eršov Principle : le titre peut paraître barbare, mais en fait c'était remarquablement clair et bien présenté. Peut-être justement parce que c'était de la logique (de la théorie des modèles, comme le titre de l'exposé le dit) exposée à des non-logiciens (des théoriciens des nombres, comme le titre du séminaire le dit) : je soupçonne que quand un mathématicien s'adresse à des spécialistes d'autres disciplines que la sienne il fait un effort particulier dans la clarté de sa présentation, il ne s'embarrasse pas de détails techniques encombrants (et là, apparemment, la démonstration en regorge, même si l'énoncé final — ou bien un corollaire fondamental — est tout à fait simple et beau).