Maxime Rodinson, 1915-2004, un orientaliste atypique — Institut du monde arabe. Bibliothèque