Bonjour
Je n'ai pas utilisé la liste de meyers, mais une Map (entre le nom de la variable et son index), quand une variable est ajouté tous les index augmentent de 1. Lorsque nous entrons dans un nouveau scope une nouvelle map est créée (inner scope) (Elle a aussi accès à la map extérieur (outer scope)). Je pense aussi utiliser cette structure pour détecter les récursions. (Si la variable est trouvé dans le 'inner' scope alors nous sommes en présence d'une récursion.
Je pense qu'une Map est possiblement plus couteuse qu'une liste de meyers. Dans le pire des cas, j'ai définis une interface pour la gestion des index dans le fichier debruijn.ml, ainsi la modification de la structure de donnée devrait se faire relativement sans douleur.
Je viens de voir votre commit. Je vais le regarder plus en détail aujourd'hui.