1 files changed, 1 insertions, 0 deletions
diff --git a/TODO b/TODO
index 137a7643b6..12a7b66f00 100644
--- a/TODO
+++ b/TODO
@@ -39,3 +39,4 @@ Doc:
 - clarifier la sémantique de Decompose (i.e. travaille pas sous les ->)
 - faut-il mieux spécifier la sémantique de Simpl (??)
 - vérifier si Print Table id est à jour
+- documenter @Definition and co