function txt=lhsargs(args)
//!
// Copyright INRIA
txt='['+strcat(args,',')+']'


