Tits compilation / Seite 111