Tits compilation / Seite 107