Un filet mignon cuit au barbecue enrobé de moutarde fine et forte et bardé de jambon de Bayonne