/** Nom de variable. */
public class ExpVar extends Exp {
  public String name;
  public ExpVar(String name) { this.name = name; }
  public String toString() { return super.toString() + "(" + name + ")"; }
}