Tits compilation / Seite 102