Question juridique clé
Whether the revision proceedings should be discontinued after withdrawal of the revision request.
Solution extraite
The proceedings are struck off because the revision request was withdrawn.
Motifs extraits
Under Art. 32 BGG, the instruction judge or division president may discontinue the proceedings; the withdrawal justified striking the case off.