Create ter_identite.ml