Toponímia i arqueologia industrial: els molins de la riera d'Osor