Théorème des 5 couleurs - Collège Alain Fournier (Orsay)

Un graphe planaire est obtenu de la façon suivante : on choisit des points du plan que l'on appelle les sommets. On peut ensuite choisir de les relier des points distincts par des segments, appelés arêtes, telles qu'elles ne s'intersectent pas.
Un coloriage de graphe consiste à attribuer à chaque sommet du graphe une couleur, de façon que deux sommets reliés par une arête soient de couleurs différentes.
Étant donné un graphe planaire, est-il possible de le colorier avec cinq couleurs ?