Dictionnaire de Trévoux/6e édition, 1771/DÉCINTROIR
(3, p. 141).
DÉCINTROIR, ou DÉCEINTROIR. s. m. Espèce de marteau qui a deux taillans, mais qui sont tournés en divers sens, dont les maçons se servent pour équarrir les trous commencés avec le têtu, ou pour écarter les joints des pierres dans les démolitions. Mallei genus.