Measurement of the 2P3/2−S1/2 energy difference in the (μ−4He)+ muonic ion by means of a tunable infrared dye-laser