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