Tits compilation / Seite 57