> Here is a new version which output use used seed when a seed is explicitely > set with an option or from the environment.
It is even better without xml typos, with simpler coding and the doc in the right place... Sorry for the noise.
-- Fabien.