Question juridique clé
Whether the dispositive of the prior federal judgment had to be corrected so that the cantonal court costs were also set aside.
Solution extraite
Yes. The omission was a clerical oversight that could be corrected by supplementing the prior judgment and annulling item 2 of the cantonal judgment.
Motifs extraits
Because the applicant had prevailed in substance and the Federal Supreme Court had intended no costs consequences, the failure to extend the no-costs order to the cantonal proceedings was an inadvertent error correctable under Art. 129 para. 1 BGG.