De Naples à Paris, la mandoline en France au XVIIe siècle