autorun       progressive merge
Init:

...

© Yann Guidon 2022
version jeu. sept. 29 20:27:00 CEST 2022
see https://hackaday.io/project/186859-yams-yet-another-merge-sort