Leonardo e i proporzionanti, 16 aprile 1988, città di Vinci, Biblioteca leonardiana