L’officina linguistica di Giovanni Ruffini: alcune varianti di "Doctor Antonio”