revision bis 4.16 (algebra)