Résolution des traditionnels pb de merging, commit push et tout ...