modification 1/02/2013 --- algorithme de coloration