4
n val
7→
× →
λ k 1≤k≤longueur λ
λ6= 1 ≤k≤longueur(λ)⇒longueur(supprimer(λ, k)) = longueur(λ)−
1
λ6= 1 ≤k≤longueur(λ) 1 ≤i<k
⇒i`eme(supprimer(λ, k), i) = i`eme(λ, i)
λ6= 1 ≤k≤longueur(λ)k≤i≤longueur(λ)−1
⇒i`eme(supprimer(λ, k), i) = i`eme(λ, i + 1)
λ
k, i
× × →
λ1≤k≤longueur(λ)+1
1≤k≤longueur(λ)+1⇒longueur(ins´erer(λ, k, e)) = longueur(λ)+1
1≤k≤longueur(λ) + 1 1 ≤i<k⇒i`eme(ins´erer(λ, k, e), i) = i`eme(λ, i)
1≤k≤longueur(λ)+1 k=i⇒i`eme(ins´erer(λ, k, e), i) = e
1≤k≤longueur(λ)+1 k < i ≤longueur(λ)+1
⇒i`eme(ins´erer(λ, k, e), i) = i`eme(λ, i −1)
λ
k, i
e