Tits compilation / Page 82