private void closeButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_closeButtonActionPerformed
        // Mettre à jour le document d'après le contenu du textarea
        setDocumentFromTextArea();
        try {
            controller.closeDocument();
            disableWriting();
            disableReading();
        } catch (RemoteException ex) {
            printError("Erreur lors de la fermeture", ex.getMessage());
        } catch (FileNotFoundException ex) {
            printError("Erreur lors de la fermeture", ex.getMessage());
        } catch (MalformedURLException ex) {
            printError("Erreur lors de la fermeture", ex.getMessage());
        } catch (NotBoundException ex) {
            printError("Erreur lors de la fermeture", ex.getMessage());
        }
    }//GEN-LAST:event_closeButtonActionPerformed