Le 30/03/2017 à 14:21, Ole Streicher a écrit : > IMO that makes the BrowserLauncher package *really* obsolete here. I agree, BrowserLauncher was interesting before Java 6, but the Desktop API is good enough for most usages now. Emmanuel Bourg