Zero-sum semi-Markov games with a probability criterion. Issue 3 (3rd April 2022)