Distributeurs de colle, pinceaux et autres outils pour coller les matériaux de cordonnerie