http://www.lri.fr/~teytaud/tdt.html