( etat lei * ixd listig ),