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