private JButton getButClePublique() {
		if (butClePublique == null) {
			butClePublique = new JButton();
			butClePublique.setText("Enregistrer sous...");
			butClePublique.addActionListener(new java.awt.event.ActionListener() {
				public void actionPerformed(java.awt.event.ActionEvent e) {
					JFileChooser save=new JFileChooser();
					final FileFilter filter=new FileNameExtensionFilter("Texte Uniquement","txt");
					save.setDialogType(JFileChooser.SAVE_DIALOG);
					save.setFileSelectionMode(JFileChooser.FILES_ONLY);
					save.setFileFilter(filter);
					save.setMultiSelectionEnabled(false);
					int r=save.showSaveDialog(null);
					if(r==JFileChooser.APPROVE_OPTION) {
						if(save.getSelectedFile().getAbsolutePath().endsWith("txt")) {
							Ecrire.ecrireClePublique(save.getSelectedFile().getAbsolutePath(), k);
						}
						else {
							Ecrire.ecrireClePublique(save.getSelectedFile().getAbsolutePath()+".txt", k);
						}
					}
				}
			});
		}
		return butClePublique;
	}