TeX : the program