Au milieu d'une démonstration, une copie porte cette ligne : « f cont. sur [a, b] ⇒ ∃ c f(c) = 0 ». La ligne est inventée, mais tout correcteur en a lu de semblables. Elle a l'air rigoureuse, avec sa flèche et son quantificateur. Lisez-la comme une phrase française : il lui manque un … Lire la suite de Écrire les mathématiques, c’est parler deux langues à la fois