déraser

Définitions

Déraser employé comme verbe

  • Abattre le sommet d'un mur ou les parties proéminentes d'un terrain pour parfaire son niveau.
    • Découper des éléments de maçonnerie déjà en place pour les aligner sur les éléments voisins de moindre taille.
      • Maçonnerie
    • Réduire l'épaisseur du bâti d'une huisserie pour pouvoir la poser dans un cadre de maçonnerie trop étroit.
      • Menuiserie

    Exemples

    De tels instruments sont employés pour déraser des pierres dures comme le granit.

    — De tels instruments sont employés pour déraser des pierres dures comme le granit, L'Univers minéral dans la pensée égyptienne, Éd. Institut français d'archéologie orientale, 1991