Comment réinitialiser l'historique de la barre d'adresses d'Internet Explorer ?

Solution : en ouvrant le Panneau de configuration.