Question juridique clé
Whether the revision proceeding should be discontinued after withdrawal of the request
Solution extraite
The revision proceeding is struck out because the revision request was withdrawn.
Motifs extraits
The parties concluded a settlement, the cantonal court approved it, and the applicant declared withdrawal of the pending revision request; the court therefore discontinued the federal revision proceeding.