Algorithme de Thomas