Product-form in queueing networks by Boucherie