Makefile improvement
ZZ and torsor induction ...