Le réseau de Betti dans la cohomologie de degré 2 d'une surface K3

Dans cet exposé, on s'intéressera au $H^2(X, \mathbb{Z})$ d'une surface K3. On montrera que c'est un réseau, muni d'une forme quadratique, et que tous les réseaux munis d'une forme quadratique obtenu de cette manière sont isomorphes.