Convertissez d'abord le fichier en .v, ce qui prend un peu de place, mais économise la mémoire en taille réelle