Les termes x2 * (y2 * z) et (x * y)2 * z forment une paire critique. - L`intérêt des paires critiques est le suivant ː si un système de réécriture n`a qu`un nombre fini de règles, le nombre de ses paires critiques est fini et si toutes ses paires critiques ...