// 
import java.io.*;

public class FichierLecture extends Fichier{
   public FichierLecture(String s) throws IOException, NullPointerException   {
    super(s);
    if (!this.exists() || !this.isFile())
      throw new IOException( this.getName() + ": fichier inexistant."); 
    if (!this.canRead())
      throw new IOException( this.getName() + ": fichier non lisible."); 
   }
}