Charles-Antoine Jombert, (p. 34-35).
ARRACHEMENT, ſ. m. C’eſt une opération qui conſiſte à arracher des pierres, & à en laiſſer alternativement pour faire liaiſon avec un mur qu’on veut joindre à un autre.
On nomme auſſi Arrachemens, les premières retombées d’une voûte enclavées dans le mur.