Merge pull request #3 from baskesp/master

Synchronistation avec le dépôt
[Config] Ajout des fichiers .nfs au gitignore
Merge branch 'master' of github.com:Istvan1655/automaton2014
Merge pull request #12 from Istvan1655/master

Pour empêcher que les fichiers .nfs soient rajoutés quand on travaille au CREMI