code: public String getExtension(File f) {
          if (f != null) {
              String filename = f.getName();
              int i = filename.lastIndexOf('.');
              if (i > 0 && i < filename.length() - 1) {
                  return filename.substring(i + 1).toLowerCase();
              }
          }
          return null;
      }
docs: Retourne l'extention du nom du fichier.
  
  @see #getExtension
  @see FileFilter#accept