Création de la pipe Choquin par Jean-Baptiste Choquin et Gustave Butz