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