text: # ravaloir
  
  ## Français
  
  ### Étymologie
  
      Dérivé de ravaler, avec le suffixe -oir.
  
  ### Nom commun
  
  ravaloir \ʁa.va.lwaʁ\ masculin
  
  * (Serrurerie) Outil qui sert à ravaler l’anneau d’une clef, c'est à dire à correctement l'ovaliser. Cet outil est constitué d'une tige de métal dont les deux bouts sont coniques.
  