À vérifier: formules pour le successeur de dijkstra et A*