[math-fun] E8 : lie group breakthrough