Bonjour, ce que je recherche, en fait, ce n'est pas tant un logiciel mais plutôt un bot qui pourrait traduire une logique mathématique en langage de son choix. Je ne sais pas si cela existe, d'ailleurs. Si cela n'existe pas, alors est-ce que qqun pourrait me dire si cela est réalisable? Cordialement.