Civica biblioteca numismatica di Milano.