La ville de Paris au XVIIe siècle — Gabriel Henriot