¿Gramática en la formación docente y en la traducción? Reflexiones en torno a qué gramática enseñar y cómo incluir la teoría