fin de correction des conflics du git pull