-* faire un autre thread pour les envois d'infos
- -> c'est stupide d'attendre la fin des calcules s'il y en a beaucoup
- surtout en bookkeeping...
+* In run-all:
+ - Use more legible names for generated files.
+ Current problems are:
+ . file names are too long.
+ . MORE_ARGS do not appear in file name.
+ Why not simply using file names "plain.out", and "bookkeeping.out"?