problème de menu avec Josm en plein écran avec Java … Le problème avait disparu, et hop le revoila avec Debian 7.