Groupes discrets d'isométries euclidiennes

On donnera d'abord quelques définitions et exemples pour se familiariser avec ces objets.

On essaiera ensuite de montrer à la main, avec des outils d'algèbre linéaire le théorème suivant: \Tout groupe discret d' isométries euclidiennes contient un sous-groupe distingué abélien d'indice fini contenant toutes les translations.\

On évoquera, si le temps le permet, quelques généralisations dans le cadre riemannien.