Implémentation de la numérotation des variables.