Citation: 4F_14/2013 E. 4

4. J.Y.________ versera à X.________ une indemnité de 5'400 fr. à titre de dépens." J.Y.________ a interjeté un recours en matière civile contre ce jugement. X.________ a conclu à l'irrecevabilité, subsidiairement au rejet du recours. Par arrêt du 5 novembre 2012 (cause 4A_347/2012), le Tribunal fédéral a admis le recours dans la mesure où il était recevable, annulé le jugement du 15 mai 2012 et dit que la résiliation du bail notifiée par J.Y.________ à X.________ par avis officiel du 16 mars 2009 était valable (chiffre 1 du dispositif); il a ensuite arrêté les frais judiciaires de la procédure fédérale à 2'000 fr. et les a mis à la charge de l'intimée (chiffre 2 du dispositif); enfin, il a condamné l'intimée à verser au recourant une indemnité de 2'500 fr. à titre de dépens pour la procédure fédérale (chiffre 3 du dispositif).