Added definitions of deterministic automaton.
Added .gitignore.
Merged Francois and Chen.
Debut de generalisation a langage rationnel.