Git : renommer une branche distante

$ git push <remote> <remote>/<old_name>:refs/heads/<new_name> :<old_name>