Hy Bob,
thanks for getting back to me.
Following are the " exceptions" I pasted into my proxy.pac file:
if (shExpMatch(url, " *.windowsupdate.microsoft.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " *.update.microsoft.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " *.windowsupdate.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " download.microsoft.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " wustat.windows.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " ntservicepack.microsoft.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " stats.microsoft.com/*" )) { return " DIRECT" ; }
if (shExpMatch(url, " office.microsoft.com/*" )) { return " DIRECT" ; }
This didn' t actually help, so I tried following the configuration a colleague of mine did for accessing iTunes Updates bypassing the proxy: he created also " shExpMatch" expressions in the proxy.pac file, but also added a local category to the webfilter profile called " direct-access" and put in there all the listed URLs.
After doing this last step, Windows Updates are working again!
F.