Definición y bases del corrector de textos