Source: https://www.normalesup.org/~dconduche/informatique/PT/Cours/Dijkstra.pdf