import java.io.*;

// ...

/* Une methode pour lire tout le contenu d'un fichier et le placer
   dans une chaine de caracteres.
   
   La boucle while est necessaire car la methode read ne lit pas
   forcement le nombre de caracteres specifies, elle peut s'arreter
   avant.
*/

static String lireFichier(String nomf) {
  	char tout[] = {'r'};
  	try {
  		File sourceF = new File(nomf);
  		long grandComment = sourceF.length();
  		tout = new char[(int)grandComment];
  		FileReader f = new FileReader(sourceF);
  		int dejaLu = 0;
  		while (dejaLu < grandComment) {
  		    dejaLu = dejaLu + f.read(tout, dejaLu, (int)grandComment-dejaLu);
  		}
  	}
  	catch (IOException e) {
  		System.err.println(" Cela ne marche pas. Voila." + e.toString());
  	}
  	return new String(tout);
}