La fusion de $1 ($2) avec $3 ($4) est terminée.