[Traduc] Re: Texinfo translation error