10) : echo _("recherche rapide"); echo HtmlInput::filter_table("card_list", '1,2,3', 0); endif; ?>