diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index ae2c1b5206104d3cd2e14c9a5fcf379d643acb6d..04583ed799fe380c785c14165b63109a9bcfbace 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -14,6 +14,7 @@
 - minimiser le nombre de variables générées
 - constante entière longue: utiliser la représentation sous forme de string et 
   rechercher la base appropriée.
+- introduire feature wishes Bernard (voir mail du 9 juin)
 
 #########
 # TESTS #