Olivier Badermann, tailleur de pierre en Alsace