Preuve et terminaison

u0= 0
u1= 1
un=un−2+un−1, pour n > 1
r2 −r−1 = 0
un

fusion
fusion
min index
t[g..d]
min index
tri selection

partition
tri rapide