server : scheduler result -> task_id =/= run_id
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/vidjil/vidjil
format-analysis.org: typos, explanation of =id= for fuse.py
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//vidjil/vidjil