Tits compilation / Seite 116