トンボは通称名で、正式名称は「グラウンドレーキ」とよびます。