Algorithme de Prim

Preuve de la correction de l'algorithme de prim. On pourra étudier la structure de tas pour gérer la file de priorité et conclure à sa complexité.