Engineering arbitration in which the claimant sought to have a third party complete the works at the respondent's expense. Condemnation by the arbitral tribunal of the respondent to complete the works itself. Decision not challenged by the claimant. Dismissal of the annulment action in which the respondent alleges that the arbitration award was extra petita: