Un automate simple en java