Ancienne commune rattachée à Cerfontaine en 1977. Elle doit son nom aux deux églises qu'elle comptait au Moyen Âge : celle de Saint-Martin, en ruine, fut démolie en 1588, et l'église Saint-Pierre actuelle date de 1891-1892. Sa marche militaire et folklorique en l'honneur de saint Pierre est reconnue par l'UNESCO, et une ancienne carrière de marbre rouge accueille aujourd'hui un centre de plongée.