Update Aleatoire.h