ajout du kernel RNG