Echec et automates
123