r~ est

a, a1a:i{aia.2a3-\- 8a3)3;

il est égal à 64 i3 -\-j~- On a aussi l'identité

j y — 1080 = 4t[(a,a2«3— 10 a3) (a2 «3?i + «3«i;î -+- a\ ai X \ >

— 6 a2 ( 5 ai a2 a3 -1- 4 «3 ) Xi Xi U ] ,

et l'invariant e, entre crochets, défini plus naturellement un peu plus loin, peut remplacer 0, comme étant plus simple.