Git : annuler proprement un push