1 files changed, 1 insertions, 1 deletions

diff --git a/TODO b/TODO
index d6210ffa8d..4fe357c926 100644
--- a/TODO
+++ b/TODO
@@ -10,7 +10,7 @@ Environnement:
 
 Tactiques:
 
-- Porter EqDecide Correctness (JCF)
+- Porter Correctness (JCF)
 
 Noyau: