Question juridique clé
Whether the revision request had to be discontinued after withdrawal.
Solution extraite
The proceedings were discontinued because the filing was withdrawn.
Motifs extraits
The court held that, even if the submission qualified as a revision request, withdrawal required the case to be struck from the docket under Art. 32(2) BGG.