Implémentation de Variable, qui représente une variable dans une abstraction