Librairie pour générer un nombre aléatoire