[FileIO] Corrected readTIN() and made it more robust.
[FileIO] readTIN(): check if tri isn't degenerated.