Boost random et seed

Version imprimable