[framablog.org] Première démonstration « open source » d'un théorème mathématique