Amélioration de Graphe.adb & Graphe.ads