Evolution de l'art de la dentelle du Puy au XIXe siècle