R405 - Regexps et automates Compléments sur les expressions régulières, introduction des automates finis non déterministes