text: # porte-éponge
  
  ## Français
  
  ### Étymologie
  
      Composé de porter et de éponge.
  
  ### Nom commun
  
  porte-éponge \pɔʁ.te.pɔ̃ʒ\ masculin
  
  * Pince propre à porter une éponge pour mouiller les métaux que l’on tourne.
  * (Chirurgie) Partie de l’instrument dit porte-pierre.
  