Delete unused file.
tutorials/glossary.org: Add some definitions (fr)
Merge https://github.com/nicolasroger17/isepldc2014