Gratien Charvet — French local historian and felibre (1828-1884)