Tits compilation / Seite 104