private int isDimensionOk(String dimTxt) {
		
		int dimension;
		
		try 
		{		
			 dimension = Integer.parseInt(dimTxt);	
		} 
		catch (NumberFormatException e) 
		{
			e.printStackTrace();
			JOptionPane.showMessageDialog(new Frame(), "Erreur de dimension, format incorrect");
			return -1;
		}
		
		if (dimension<4 ||dimension > 15) {
			JOptionPane.showMessageDialog(new Frame(), "Erreur de dimension : les dimensions doivent être comprises entre 4 et 15");
			return -1;
		}
		else {
			return dimension;
		}
		
	}