Procédure visant à mettre fin à un litige par un accord entre les adversaires.