modif on this

This refere to used class and not master class => no need to repete code
Merge remote-tracking branch 'origin/master'

Conflicts:
	3-typed/src/main/scala/fos/Terms.scala