Théorème des quatre couleurs (Four Color Theorem) - N'importe quelle carte peut-elle être coloriée avec 4 couleurs ?