text: # Pierrefontaine-les-Varans
  
  ## Français
  
  ### Étymologie
  
      Toponyme composé de pierre, fontaine, lès et Varans
  
  ### Nom propre
  
  Pierrefontaine-les-Varans
  
  * (Géographie) Commune française, située dans le département du Doubs.
  
  **Gentilés et adjectifs correspondants**
  
  * Pétrifontain, Pétrifontaine
  * pétrifontain, pétrifontaine
  