Tits compilation / Page 102