Jouet d’époque, petit pistolet miniature de la marque Redondo.