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