Tits compilation / Seite 110