Cours de Finite Automata