洋式トイレについている洗浄機能がついた機械の呼び方は、「ウォシュレット」というのが一般的かもしれませんが、実は…