Je ne dis pas que ce ne sont pas des martinets, mais que ces quelques exemplaires bien vieillot ne constituent pas à eux seul la référence qui permettrait de définir ce qu'est un martinet.
Je dirais qu'au vu de leur alimentation énergétique, ce sont bien des martinets. Mais leur âge respectable fait qu'à cette époque, les martinets étaient encore de gros marteaux articulés qui tapaient en arc de cercle.