automate fini non déterministe

Version imprimable