1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 2e3e01b419..3a29f41085 100644
--- a/TODO
+++ b/TODO
@@ -11,7 +11,6 @@ Environnement:
 
 Tactiques:
 
-- Éviter si possible les '(
 - Réécrire AutoRewrite avec le langage de tactiques
 
 Noyau: