* time limit set to 1 sec. Quicker, and results are the same !

* use Stdlib whenever possible

* FIXME: the use of StringMap.bindings should not be useful, and wastes time and memory