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