Tits compilation / Seite 109