Décrire une façon d'équilibrer un tas après insertion d'un nouvel élément. Donner un invariant de boucle. Est-ce que le programme se termine ?