Riom (Puy-de-Dôme, ch. l. arr.) : hôtel des monnaies