Les 17 types de pavage du plan
Un pavage peut être caractérisé par le groupe d'isométries qui le conservent.
Il existe 17 types de pavages "périodiques" du plan. On entend par là qu'il existe 17 types de groupes d’isométries contenant un sous-groupe discret bidimensionnel de translations.
Cela permet de classer tous les motifs bidimensionnels périodiques en fonction des isométries qui laissent ce motif invariant.
On va construire ces 17 types de pavages (et en donner une version dynamique) avec CaRMetal. On le fera en écrivant un programme général capable de construire un pavage dynamique à partir de chacune de 17 configurations initiales (les structures de maille).