De necessario eruditis otio (1781)