function distinctRand($nb,$amp) {
$res = array();
for($i=0 ; $i < $nb ; $i++) {
$nb = mt_rand(1,$amp);
while(in_array($nb,$res)) {
$nb = mt_rand(1,$amp);
}
$res[$i] = $nb;
}
return $res;
}
function distinctRand($nb,$max,$min=1) {
$res = array();
for($i=0 ; $i < $nb ; $i++) {
$n = mt_rand($min,$max);
while(in_array($n,$res)) {
$n = mt_rand($min,$max);
}
$res[$i] = $n;
}
return $res;
}