probleme "resize" dans DefaultDesktopManager

Version imprimable