@sbrunot: well, the actual solution would fail already if an update of IE11 would have Trident/7.1 - in the past, there used to be for instance IE8 with Trident/4.1, so this is not that much unlikely. 

@wkeese: yes, that works (tested for IE9) and it's better. I vote for your latest proposal...