La commune de Girefontaine
Population : 45 hab.
Superficie : 3,56 km²
Région : Franche-Comté
Département : Haute-Saône
Arrondissement : Lure
Canton : Vauvillers
Communauté de communes : CC des Belles Sources
Code INSEE : 70269
Code postal : 70210