Je crois que les démonstrations mathématiques procèdent du même cheminement mental que celles de la recherche scientifique. Le domaine de la logique stricte des « calculs » et celui de la logique floue des « jeux » s’intersectent et se recouvrent pour donner l’éthique et l’esthétique des langages mathématiques et scientifiques. (Si c’est moi qu’il dit, ce doit être vrai !). Bien à vous.