Что такое CAT-инструменты, и зачем они нужны переводчикам?