Correction d'une erreur dans la définition du type tdvar.
Typage de var.