Filets de rougets aux petits légumes