La version avec le set pour unassignedVar... on perd un peu en perf ><