Hi Christophe,

Your implementation reminds me very much of TimSort (for an OCaml implementation, see for instance https://github.com/LesBoloss-es/sorting/blob/master/src/list/timsort.ml). This is also a stable algorithm.

Was TimSort an inspiration?

Cheers
--
Mário