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