Au Puy-en-Velay, l'ancienne école de la dentelle devenue tribunal de commerce