Des options inutiles dans Internet Explorer