Modification de la fonction random de VDM

Et nettoyage des log et des classes commentaires