Merge branch 'master' of git.unicaen.fr:dsi/sygal