tutorials/glossary.org: Update.
Merge https://github.com/nicolasroger17/isepldc2014
Edit tutorials