Merge branch 'dev-loic' into 'develop'

fix GITLAB_TOKEN and destination branch name for merge request

See merge request !219
4 jobs for develop in 54 seconds (queued for 2 seconds)