Tits compilation / Page 105