Contexte : Une branche feature a été mergée dans main et n'est plus nécessaire. Le Problème : La branche locale reste présente et encombre la liste des branches. Contraintes : Supprimer la branche uniquement si elle a bien été mergée. Livrable attendu : Décrire la commande Git permettant de supprimer proprement une branche locale devenue inutile.