public void addDocument(Document doc) throws CloneNotSupportedException {
		for (Document d : documents) {
			if (doc.equals(d)) {
				throw new CloneNotSupportedException("Le mot clef est déja assigné au fichier.");
			}
		}
		documents.add(doc);
	}