Algorithme de Thomas et matrice diagonale strictement dominante