Greffiers des bâtiments de Paris — Archives nationales. France