Corrección de estilo: qué es y en qué se diferencia de la ortotipográfica