automates, simulations, correction arbitre
merge
test propriété P1 et P2 arbitre