quatre couleurs sont suffisantes pour colorier une carte, tout en satisfaisant le critere des frontieres.
