Chap. 7: ajouter preuve de correction de l'algo. de Dijkstra

[michaelblondin]

Ajouter en annexe. Idéalement, ajouter une figure où on découvre un graphe avec un «brouillard de la guerre».

[michaelblondin]

Noir = infini
Gris = pas infini, mais pas marqué
Blanc = marqué