Tree automata (M1 ENS Paris-Saclay)