pétrofontanien

== Français == === Étymologie === Voir Pétrofontanien. === Adjectif === pétrofontanien \Prononciation ?\ Relatif à Pierrefontaine-lès-Blamont, commune du Doubs. === Références === Cette page utilise des renseignements venant du site habitants.fr.