Théorie des graphes, algorithme de Dijkstra et A* : Fondements mathématiques et implémentation de la recherche de chemin