Série 800 distributeurs et électrodistributeurs