ad file example.dj.oz
update git ignore for .*pdf
correct tail recursion in fun InterpreteAux
change TDZe extention