" Necessary and Sufficient Conditions for Reachability on a Simplex.POMPES PAR TRANSITIONS MULTIPLES "