Automates d'arbres à jetons. (Pebble tree automata)