Philippe de Girard, inventeur de la filature mécanique du lin — Émile Deschamps