Présentation : "De la pratique à la théorie et inversement : l’exemple des programmes de vérification des importations"