Leonardo da Vinci e il suo lascito: gli artisti e le tecniche alla Biblioteca Ambrosiana fino al 12 gennaio 2020