Merge of gitlab_check to dev

Vincent Texierrequested to merge
gitlab_check into dev

Change gitlab job "mypy" to "make check"

Merge request reports