" Echec et automates "