import re def replace_symbols(source_file, destination_file): try: with open(source_file, 'r') as source: with open(destination_file, 'w') as destination: content = source.read() # Remplacer les parties entre double dollars (comme $$...$$) par leurs équivalents \[...\] content = re.sub(r'\$\$(.*?)\$\$', r'\\[\1\\]', content, flags=re.DOTALL) # Remplacer les parties entre dollars (comme $...$) par leurs équivalents \(...\) content = re.sub(r'\$(.*?)\$', r'\\(\1\\)', content, flags=re.DOTALL) destination.write(content) except FileNotFoundError: print("Fichier source non trouvé.") except Exception as e: print("Une erreur est survenue :", str(e)) else: print("Remplacement terminé avec succès!") # Exemple d'utilisation source_file = "exos.tex" destination_file = "sortie.tex" replace_symbols(source_file, destination_file)