Tits compilation / Page 52