algorithme de Knuth