Tits compilation / Seite 112