Automates finis (non) déterministes Cours sur les automates finis déterministes et non déterministes : afdetafi