Bug de GIT dans le merge