diff --git a/doc/developer/TODO b/doc/developer/TODO
deleted file mode 100644
index 489e0e1eebfc19d2b2b4009d7afda72c794fead4..0000000000000000000000000000000000000000
--- a/doc/developer/TODO
+++ /dev/null
@@ -1,43 +0,0 @@
-=========
-TODO-list
-=========
-
-Advance
-=======
-
-* Configure.in
-  o Principle: manque les --static ou --dynamic
-  o --external-plugin (Virgile, bts#203)
-
-* Command Line Options
-  o possibility of customisation through optional functor parameters
-
-* Types as first class values
-
-* Journalisation
-  [advanced plugin development]
-    o lien avec les exemples de chargement dynamique
-  [refman]
-    o spécification du module "Type" dans répertoire "lib": 
-      ajouté un lien vers Section "Journalisation" quand cette 
-      dernière sera écrite.
-
-* Documentation des sources:
-    o test d'intégrité du code wrt plugin dev guide
-
-* GUI:
-    o améliorer la doc: mieux expliquer comment utiliser les hooks pour coder 
-      les parties similaires à chaque greffon (panneau latéral, etc).
-    o GUI des greffons dynamiques
-
-Refman
-======
-
-* Figure des makefiles: 
-    o ajouter le fait que Makefile.dynamic est généré à partir de 
-      Makefile.dynamic.internal/external
-
-* Makefile.dynamic: ce qui lui est spécifique
-
-List of recommendations (?)
-=======================