Portique de la bibliothèque d'Ahmed III – Palais de Topkapı, Istanbul