1 files changed, 2 insertions, 0 deletions
diff --git a/TODO b/TODO
index 71c72fd287..78bb23b492 100644
--- a/TODO
+++ b/TODO
@@ -17,6 +17,8 @@ Noyau:
 Vernac:
 
 - Pb noms cachés (utilisation de noms absolus ?) 
+- Print / Print Proof en fait identiques ; Print ne devrait pas afficher
+  les constantes opaques (devrait afficher qqchose comme <opaque>)
 
 Grammaires: