Badges de Post_Automata