Distributeur de condiments pour restauration collective