Automate fini non déterministe

Version imprimable