Un utilitaire python qui fait le ménage dans le repo git en supprimant les branches déjà fusionnées aussi bien en local qu'à distance