import java.io.FilenameFilter;

public interface AccessibleDir {
  public String erreurText();
  public String separator();
  public char separatorChar();
  public boolean isDirectory(String path);
  public String [] list(String path);
  public String [] list(String path, FilenameFilter filter);
  public boolean GetFile(String Source, String Dest);
  public boolean PutFile(String Source, String Dest);

}