text: # pierre de mine
  
  ## Français
  
  ### Étymologie
  
      Composé de pierre, de et mine.
  
  ### Locution nominale
  
  pierre de mine \pjɛʁ də min\ féminin
  
  * Sorte de pierre dont on se sert dans les forges pour forger le fer.
  