Distributeurs pneumatiques : fonctionnement et différences 3/2, 5/2, 5/3 10 juillet 20269 juillet 2026