deferentectomy