Il campionato mondiale di dattilografia