French weights and measures before the Revolution : a dictionary of provincial and local units