Une courte séquence de
franchissements
Marquage initial
t1
t2
t3
t4
ba
t1
t2
t3
t4
bar
t1
t2
t3
t4
bara
t1
t2
t3
t4
barat
t1
t2
t3
t4
