Le théorème des quatre couleurs affirme qu'il est possible de colorier avec seulement quatre couleurs une carte composées de pays (techniquement un ensemble de parties formant une partition d'un ensemble) de tels manières que deux pays coloriés de la même façon n'aient aucune frontière commune.
Ce résultat fut conjecturé en 1852 par Francis Guthne.
De nombreuses tentatives pour le prouver ont été tentées en vain, jusqu'en 1976, date à laquelle deux Américains – Appel et Haken – l'ont démontrée grâce à l'outil informatique(1).
(1) ↑ C'est la raison pour laquelle cette démonstration partage encore actuellement la communauté mathématique, au sujet notamment de l'algorithme qui traita les 1 478 cas critiques.
C'est notre Raïs à nous : c'est monsieur René Coty. Un grand homme, il marquera l'Histoire. Il aime les Cochinchinois, les Malgaches, les Sénégalais, les Marocains… c'est donc ton ami. Ce sera ton porte-bonheur.
En 1791, après la mort de Mirabeau, l'Assemblée Constituante cherche un lieu digne d'accueillir sa dépouille. Histoire de ne pas changer ses habitudes, elle décide de déposséder l'Église d'un lieu de culte fraîchement construit pour en faire un temple à la gloire de la République : le Panthéon est né, mais connaîtra une existence assez mouvementée. Suivez le guide.
