tipificasen