Merge branch 'main' of gitlab.eclipse.org:eclipse/aidge/gitlab_shared_files