Philippe 24/05/2016: added .gitignore patterns