/***** MODIFICATIONS A REPPORTER */

/***** ancienne version */
/*
	if (args.length != 1)
	{
		System.out.println("Pas de parametre d'appel: <Nom du fichier de definition>");
		return;
	}
	DataInput d = new DataInputStream(new FileInputStream(argv[0]));
*/



/***** nouvelle version */
/****************************************************************/

	System.out.print("Entrez le nom du fichier: ");
	
	DataInput lf = new DataInputStream(System.in);
	
	String NomFich;
	
	NomFich = lf.readLine();
	
	DataInput d = new DataInputStream(new FileInputStream(NomFich));
	
/***************************************************************/