What trade name comes from combining the French words for velvet and hook?