license to be defined Software created by Gabriel Bellard and Xavier Tannier at LIMSI. Please do not reuse or fork without permision (until we have defined the distribution license).