correction d'un bug avec rand_float() sous linux