Interruption d'une construction parallèleSommaireInterruption d'une construction parallèle quand N branches sont finiesInterruption d'une construction parallèle quand une branche déterminée est finie