Robert Dober wrote:
> Guy do you think that Victor should file a bug report, I strongly
> believe that this would be helpful.

 no, this is a known problem because it's already corrected in my
 private version 


Guy Decoux