Issue #43 : Replace "Tol..." by "Majorations"