Colorier une carte de géographie peut passer pour une activité futile et enfantine... cela a pourtant été et est encore au cœur des recherches de nombreux mathématiciennes et mathématiciens ! 

En 1852, le mathématicien et botaniste Francis Guthrie conjecture que l'on peut colorier toute carte sans que deux régions voisines n'aient la même couleur avec seulement quatre couleurs différentes ! 

Ce n'est qu'en 1976 que ce théorème a été démontré, mais la communauté mathématique n'est pas complètement satisfaite, la preuve nécessitant l'utilisation de l'ordinateur. 

Encore aujourd'hui, une preuve sans ordinateur n'est pas connue et de nombreuses personnes travaillent sur cette thématique. Dans cet exposé interactif à deux voix, nous expliquerons les mathématiques et l'informatique qui se cachent derrière la coloration de cartes. Nous parlerons de théorie des graphes, d'algorithmique, de formule d'Euler, d'un peu d'histoire mais aussi de mathématiques actuelles en mentionnant des problèmes encore ouverts et quelques applications. 

Plus d'informations sur :  https://www.youtube.com/watch?v=B_RLc5mxlqw

Le théorème des 4 couleurs : https://www.youtube.com/watch?v=g_nTfZ9OgJs

et https://www.youtube.com/watch?v=WbAgfT79t6w

Cette conférence gratuite,  est organisée par M Veujoz, professeur de maths-sciences.