docs: public String getFileNameWithoutSuffix( File texFile )
      {
          String nameTexFile = texFile.getName();
          String namePrefixTexFile = nameTexFile.substring( 0, nameTexFile.lastIndexOf( "." ) );
          return namePrefixTexFile;
      }