Dictionnaire de Trévoux/6e édition, 1771/DÉROBEMENT
(3, p. 252).
DÉROBEMENT. s. m. Terme d’Architecture. On dit d’une voûte, qu’elle est faite par dérobement, ou avec panneau, qui sont deux manières de tailler les pierres pour faire les arcs. Le dérobement est la manière de tracer les pierres par des figures prises sur l’épure, & cottées pour trouver les recordemens des panneaux de tête, de joint, &c. Tracer par dérobement, c’est tracer de la manière qui vient d’être expliquée ; on dit aussi tracer par équirassement, & alors équirassement & dérobement signassent la même manière de tracer.