[swing] refresh d'une fenetre

Version imprimable