Merge branch 'develop' of gitlab.inria.fr:lifeware/biocham into develop