utilise Var(Idx) pour deBruijn