Tits compilation أنبوب XXX. الصفحة 3.