Leonardo da Vinci, editura British Library