Istanbul dans la seconde moitié du XVIIe siècle — Robert Mantran