diff --git a/sql/TODO b/sql/TODO
index 0562486e..2c929abc 100644
--- a/sql/TODO
+++ b/sql/TODO
@@ -1,29 +1,29 @@
 #    -*- mode: org -*-
 
-* TODO vérifier les contraintes des git internals
+* DONE vérifier les contraintes des git internals
   - plusieurs commits par tree ?
   - plusieurs tree pointant sur un tree ?
   - etc…
 
 * TODO valider intégration avec d'autres $DVCS
   svn, csv, darcs, hg, monotone et autres dans le modèle retenu
 
-* TODO types de données plus intelligents que les domaines
+* DONE types de données plus intelligents que les domaines
+  → migrated to https://forge.softwareheritage.org/T5
+* DONE dépendance à postgresql-contrib-9.X à cause de btree_gist
 
-* TODO dépendance à postgresql-contrib-9.X à cause de btree_gist
+* DONE revoir le nom de la table references
 
-* TODO revoir le nom de la table references
-
-* TODO tester le modèle revision_history
+* DONE tester le modèle revision_history
   (plusieurs parents pour une révision)
 
-* TODO tester et valider le modèle directory_path
+* DONE tester et valider le modèle directory_path
   et comment l'exploiter pour reconstruire les noms des fichiers (plusieurs
   parents pour un object directory / tree)
 
 * TODO tester et valider le modèle des origine imbriquées avec parent_id
   et des URLs relatives (tar.gz dans un git, ou bien .jar dans un .war)
 
 * DONE normaliser les auteurs et committers des projects
   éventuellement avec une liste de leurs emails (changements historiques,
   utilisation d'emails spécifiques par projet, etc)