// <pre>

import java.io.*;

public class RepertoireLecture extends Repertoire {
  
  public RepertoireLecture(String s) throws IOException
  {super(s);
   if (!this.exists() ||  !this.isDirectory())
     throw new IOException( this.getName() + ": repertoire inexistant.");
    if (!this.canRead())
      throw new IOException( this.getName() + ": repertoire non lisible."); 
   }
  
}