Presentation: "From practice to theory and back again: the example of import verification programmes"