Overview of Chenevier-Lannes' Automorphic forms and even unimodular lattices