Merge branch 'AD/install_party' of git.unicaen.fr:certic/jama into AD/install_party