Interruption d'une construction parallèle quand une branche déterminée est finie

exitWith

1
parallel exitWith branch intNumBranche ||
2
	bloc1
3
||
4
	bloc2
5
||
6
	blocN
7
...
8