Une marinade savoureuse pour un filet de porc, à faire griller au barbecue après une marinade de plusieurs heures.