https://123dok.net/document/z1dw8r4d-td-machine-états-finie-description-comportementale-testbench.html