Carlo Gallavotti (Biografie e bibliografie degli Accademici lincei)