k-coloration par la méthode Taboo