After formal notice, the creditor may also, within a reasonable time and at a reasonable cost, himself enforce the obligation or, with the prior authorisation of the court, destroy what has been done in breach of it. He may ask the debtor to reimburse the sums incurred for this purpose.
He may also request in court that the debtor advance the sums necessary for such performance or destruction.