Merge branch 'master' of https://app-learninglab.inria.fr/moocrr/gitlab/d682078cda52034c5c9de3f5af638a6f/mooc-rr into master
