cubing-bso.gitlabpages.inria.fr