Informática — Informática Diversos

Ao final da redação de um texto, José percebeu que, em todo o documento, tinha digitado "largatixa" em vez de "lagartixa". Para corrigir este erro, seria adequado: