complete intro part in user manual + traduction in french of intro in slides
Merge branch 'master' of https://github.com/ptal/nominal-workbench
modifs in intro
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Merge branch 'master' of https://github.com/ptal/nominal-workbench