correction (N) — correcteur (N)
correcteur : Logiciel de correction automatique de l'orthographe, de la grammaire des textes.