5.531 Je n'écris donc pas « f(a,b) . a = b », mais « f(a,a) » (ou « f(b,b) »). Ni « f(a,b) . ~ a = b », mais « f(a,b) ».