Browsing: Inférence prouvable