http://sjnrk23rmcl4ie5atmz664v7o7k5nkk4jh7mm6lor2n4hxz2tos3eyid.onion/unsort.html
Ollivier Robert me rappelle que FreeBSD a une commande random (dans la section games donc pas forcément installée)
qui peut être utilisée pour générer ce nombre aléatoire, à la place de $RANDOM . Si on ne veut dépendre d'aucun programme
extérieur, je ne crois pas qu'il existe de solution
complètement portable, et qui marche avec n'importe quel shell (par
exemple, /dev/random n'est sans doute pas
normalisé non plus...).