Tits compilation / Seite 113