[Traduc] histoire de logique