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