Micro Library (International Documentation Centre, 1958)