nombre habitant rosheim 2019