1 files changed, 4 insertions, 0 deletions
diff --git a/TODO b/TODO
index dc40c02a26..2d6c69edfc 100644
--- a/TODO
+++ b/TODO
@@ -4,6 +4,10 @@ Distribution:
 - remercier les auteurs des contributions de la lib standard (p.ex. ZArith)
 - changer Zarith/ en ZArith/
 
+Langage:
+
+- Avertir en cas de clause par défaut inutilisée
+
 Environnement:
 
 - Porter SearchIsos