Filet mignon de porc laqué au miel de cidre et mousseline de chou-fleur