Re: [Traduc] histoire de logique