Pince à riveter (n.f.)