La «divisa disperata»: gli anni italiani di Giuseppe Sergio Martini, bibliotecario e bibliografo. Con una bibliografia degli scritti fino al 1958