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