réservoir de distribution Synonym