Talk:Kantor–Koecher–Tits construction