Bédard's group is a group of non-Euclidean isometries:
tiling of the Poincaré plane
His picture redrawn:
unique words
Repetition:
the blue fork
His picture redrawn:
the complete automaton
In addition to the Poincaré model:
Felix Klein's model
Bédard's group has different realizations:
Kac's picture
(relations with
H
1
of the Coxeter diagram)