Développement : Groupes de pavages directs du plan

Détails/Enoncé :

On montre qu'il n'y a que $5$ pavages directs possibles du plan.

Versions :