Where does “synovectomy” come from?

synovectomy (English): Joint lining removal