> exécuté dans le toplevel ( sous Linux ). Mais lorsque je compile le
> programme, j'obtiens toujours le meme nombre. Le compilateur crée un
> nombre qu'il gardera de manière permanante lors de l'exécution
> ultérieure du programme. Comment faire pour qu'il change à chaque
> exécution du programme compilé ?

Une  façon simple  de faire consiste  à initialiser  le générateur  de
nombre aléatoires avec l'heure (donnée en nombre de secondes depuis le
1 janvier 1970, 00h00)

	Random.init (Unix.time())

-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr