+[LZK] En asynchrone, on a toujours utilisé cette condition pour détecter
+ la convergence. Pour la convergence du solveur GMRES sur chaque
+ cluster (indépendemment de la convergence globale) on utilise ce
+ critère: || A x - b|| / || b ||<=inner precision. Pour la convergence
+ globale, elle est détectée quand tous les calculs locaux ont
+ convergé: (k==MaxIter)or(X^k−X^k+1)<=epsilon, X sous-vecteur
+ local de la solution et epsilon est la outer precision et donc
+ la précision donnée dans la table I.
+[RC] J'ai ajouté un truc là dessus, section IV A
+