Import of source from http://www.normalesup.org/~george/comp/termim/