let aux = t.(a) ;