Comment vider l'historique de la barre d'adresses?

Solution : en supprimant des entrées dans le fichier Prefs.js.