Faits:
Faits:
A. Par contrat des 28 décembre 1989/1er janvier 1990, A._ a pris à bail auprès de la société Y._ SA des locaux commerciaux sis au rez-de-chaussée d'un bâtiment à Genève, d'une surface d'environ 105 m2, exploités comme bar à café, salon de thé. Pendant la période litigieuse, du 1er juillet 2000 au 30 juin 2001, le loyer annuel était de 45'220 fr., augmenté des charges à raison de 3'600 fr.
Le 1er janvier 2000, X._ AG est devenue propriétaire de l'immeuble en question et s'est substituée à Y._ SA comme bailleresse, étant précisé que le bail, de durée déterminée, vient à échéance le 31 décembre 2004.
Le 29 juin 2000, la propriétaire a informé le locataire que des travaux de rénovation allaient être effectués dans le bâtiment, du 10 juillet 2000 au 31 décembre 2000. Ils ont cependant duré jusqu'au 30 juin 2001, en raison de l'installation d'un sas privatif pour l'accès au tea-room, séparé de l'entrée principale antérieure, opération non prévue à l'origine, et d'aménagements requis par un autre locataire.
En l'absence d'accord sur une diminution du loyer, les parties ont convenu d'en suspendre le paiement pendant la durée des travaux. Ces derniers ont entraîné d'importants inconvénients et nuisances pour le locataire, qui a produit un constat d'huissier judiciaire, établi le 19 juin 2001, comportant un descriptif et cinq photographies, ainsi que deux jeux de quarante photographies en couleurs, développées respectivement les 10 mai et 27 juin 2001, sans qu'il soit possible de déterminer la date à laquelle elles ont été prises.
La perte de gain alléguée ressortait d'une lettre de l'avocat du locataire à la bailleresse, du 4 juillet 2001, faisant état d'une baisse de chiffre d'affaires de 109'366 fr., et d'une baisse de bénéfice de 95'534 fr.50.
La perte de gain alléguée ressortait d'une lettre de l'avocat du locataire à la bailleresse, du 4 juillet 2001, faisant état d'une baisse de chiffre d'affaires de 109'366 fr., et d'une baisse de bénéfice de 95'534 fr.50.
B. Par requête du 17 octobre 2001, la bailleresse a agi en paiement du loyer dû pendant les travaux. Le 8 novembre 2001, le locataire a déposé une action en réduction du loyer pendant ces derniers, et en dommages-intérêts pour gain manqué. Suite à l'échec des tentatives de conciliation, les deux causes ont été introduites devant le Tribunal des baux et loyers, qui a procédé à leur jonction avant de rendre son jugement le 3 octobre 2002. Il a accordé au locataire une réduction de loyer de 25% sur la période de 12 mois, mais l'a débouté de toutes ses conclusions tendant à l'octroi de dommages et intérêts, vu l'absence de preuves relatives à une faute de la bailleresse et à l'existence d'un déficit net.
Le locataire a appelé en temps utile de ce jugement devant la Chambre d'appel en matière de baux et loyers de la Cour de justice de Genève. Cette juridiction a confirmé le jugement entrepris. Elle a retenu que le tribunal avait eu raison de procéder à une estimation moyenne, sans se focaliser sur les épisodes aigus et "certainement ... brefs", l'un d'eux ayant fait l'objet du constat d'huissier et se référant à la démolition du trottoir devant l'entrée du tea-room et sur sa terrasse. L'entrave à la jouissance de la chose louée avait été fixée de manière "large" par le tribunal, qui avait réduit le loyer en équité, de 25%. Enfin, les dommages-intérêts réclamés par le locataire n'étaient pas dus, faute de preuve du dommage et de sa quotité. Seule la production d'une suite de bilans signés, voire de copies de déclarations fiscales signées (pour les impôts directs ou la TVA) pouvait renseigner sur la variation du chiffre d'affaires et du bénéfice net d'exploitation, pendant la période litigieuse. Comme les faits n'ont pas été allégués de manière suffisamment claire par les parties, la Chambre d'appel n'avait pas à les instruire d'office. Son arrêt, du 12 mai 2003, a été notifié le 16 mai.
Le locataire a appelé en temps utile de ce jugement devant la Chambre d'appel en matière de baux et loyers de la Cour de justice de Genève. Cette juridiction a confirmé le jugement entrepris. Elle a retenu que le tribunal avait eu raison de procéder à une estimation moyenne, sans se focaliser sur les épisodes aigus et "certainement ... brefs", l'un d'eux ayant fait l'objet du constat d'huissier et se référant à la démolition du trottoir devant l'entrée du tea-room et sur sa terrasse. L'entrave à la jouissance de la chose louée avait été fixée de manière "large" par le tribunal, qui avait réduit le loyer en équité, de 25%. Enfin, les dommages-intérêts réclamés par le locataire n'étaient pas dus, faute de preuve du dommage et de sa quotité. Seule la production d'une suite de bilans signés, voire de copies de déclarations fiscales signées (pour les impôts directs ou la TVA) pouvait renseigner sur la variation du chiffre d'affaires et du bénéfice net d'exploitation, pendant la période litigieuse. Comme les faits n'ont pas été allégués de manière suffisamment claire par les parties, la Chambre d'appel n'avait pas à les instruire d'office. Son arrêt, du 12 mai 2003, a été notifié le 16 mai.
C. Parallèlement à un recours de droit public, que le Tribunal fédéral a rejeté par arrêt séparé de ce jour, le locataire dépose un recours en réforme. Il demande au Tribunal fédéral de lui octroyer une réduction de loyer de 60% du 1er juillet 2000 au 30 juin 2001, pour un montant total de 27'132 fr., ainsi qu'une somme de 95'534 fr.50 avec intérêts à 5% à partir du 1er juillet 2001 à titre de dommages et intérêts.
Le locataire se plaint d'une violation de l'<ref-law>, en ce que la cour cantonale n'aurait pas administré les preuves qu'il avait régulièrement offertes quant aux nuisances subies, notamment en ne permettant pas la citation de certains témoins susceptibles d'en établir l'intensité. Si tel avait été le cas, la réduction de loyer de 60%, sollicitée, aurait été accordée. Concernant l'action en dommages-intérêts, le recourant voit aussi une violation de l'<ref-law>, lorsque les précédents juges ont retenu que la bailleresse a pris toutes les mesures nécessaires à réduire au maximum les désagréments liés aux travaux de rénovation, ce qui était contesté et ce qui aurait dû être prouvé par des enquêtes. Sur ce point, il invoque aussi la violation de l'<ref-law>, les travaux effectués par le nouveau locataire de l'arcade et de l'étage voisins étant imputables à la bailleresse, dont le nouveau locataire était en quelque sorte l'auxiliaire. Enfin, la cour cantonale aurait violé l'<ref-law> en admettant que le dommage et sa quotité n'étaient pas prouvés, sans inviter le locataire à produire les bilans ou déclarations fiscales signés, considérés par elle comme probants.
L'intimée conclut au rejet du recours et à la confirmation de l'arrêt entrepris, avec suite de frais et dépens. La Chambre d'appel se réfère aux considérants de sa décision.

Le Tribunal fédéral considère en droit:
Le Tribunal fédéral considère en droit:
1. Sauf exceptions qui n'entrent pas en considération en l'espèce, la recevabilité du recours en réforme suppose une valeur litigieuse de 8'000 fr. au moins; sont déterminantes à cet égard les conclusions encore contestées devant la dernière instance cantonale (art. 46 OJ). L'art. 47 al. 1 OJ dispose notamment que les divers chefs de conclusions formés par le demandeur sont additionnés, même lorsqu'ils portent sur des objets distincts, pourvu qu'ils ne s'excluent pas. En l'occurrence, la valeur litigieuse légale est largement atteinte, dès lors que le locataire demandait, dans ses dernières conclusions prises devant la Chambre d'appel, la condamnation de la bailleresse à lui payer des dommages et intérêts à concurrence de 95' 534 fr.50. Il n'est dès lors pas nécessaire de vérifier si les conclusions en réduction du loyer dépassaient le montant de 8'000 fr., condition de toute manière réalisée en l'espèce, puisque la différence entre la réduction sollicitée et celle admise par la bailleresse s'élève au 35% du loyer annuel, soit 15'827 fr.
Le recours en réforme est en conséquence recevable.
Le recours en réforme est en conséquence recevable.
2. Concernant l'action en réduction de loyer, le locataire se plaint d'une violation de l'<ref-law>, qu'il associe à l'<ref-law>. Il reproche à la cour cantonale de ne pas lui avoir permis d'apporter la preuve des faits pertinents qu'il alléguait, ce qui impliquait aussi la violation de l'<ref-law>.
2.1 Aux termes de l'<ref-law>, le juge établit d'office les faits et apprécie librement les preuves; pour leur part, les parties sont tenues de lui présenter toutes les pièces nécessaires à l'appréciation du litige. Le principe d'instruction ainsi posé n'est pas une maxime officielle absolue, mais une maxime inquisitoire sociale. C'est dire que le juge ne doit pas instruire d'office le litige lorsqu'une partie renonce à expliquer sa position. En revanche, il doit interroger les parties et les informer de leur devoir de collaboration et de production des pièces; il n'est tenu de s'assurer que les allégations et offres de preuves sont complètes uniquement lorsqu'il a des motifs objectifs d'éprouver des doutes sur ce point. L'initiative du juge ne va pas au-delà de l'invitation faite aux parties de mentionner leurs moyens de preuve et de les présenter. La maxime inquisitoire prévue par le droit du bail ne permet pas d'étendre à bien plaire l'administration des preuves et de recueillir toutes les preuves possibles (<ref-ruling> consid. 4a p. 238; arrêt 4C.199/2000 du 21 décembre 2000, consid. 2a, reproduit in: SJ 2001 I p. 278; arrêt 4C.458/1995 du 23 avril 1996, consid. 2a, traduit in CdB 1996, p. 112). Au surplus, la maxime inquisitoire sociale ne modifie pas la répartition du fardeau de la preuve (arrêt 4P.297/2001 du 26 mars 2002, consid. 2a; David Lachat, Le bail à loyer, Lausanne 1997, p. 99, note de pied 61).
Sur ce point, l'<ref-law> dispose que chaque partie doit, si la loi ne prescrit le contraire, prouver les faits qu'elle allègue pour en déduire son droit. Cette règle s'applique à toute prétention fondée sur le droit fédéral (<ref-ruling> consid. 2a p. 522; <ref-ruling> consid. 3b p. 79). Elle répartit le fardeau de la preuve (<ref-ruling> consid. 3c p. 223) et détermine ainsi la partie qui doit assumer les conséquences d'une absence de preuve (<ref-ruling> consid. 2a p. 522; <ref-ruling> consid. 2b; <ref-ruling> consid. 3b p. 79). L'<ref-law> confère le droit à la preuve (<ref-ruling> consid. 2a p. 290/291; <ref-ruling> consid. 3c p. 223) et à la contre-preuve (<ref-ruling>; <ref-ruling> consid. 4b p. 397). L'<ref-law> ne dicte pas au juge comment il doit former sa conviction (<ref-ruling> consid. 2a p. 522; <ref-ruling> consid. 3c p. 223); ainsi, lorsque l'appréciation des preuves le convainc qu'une allégation de fait a été établie ou réfutée, la répartition du fardeau de la preuve devient sans objet (<ref-ruling> consid. 2a p. 291; <ref-ruling> consid. 1; <ref-ruling> consid. 3a p. 147). L'<ref-law> ne saurait être invoqué pour faire corriger l'appréciation des preuves, qui ressortit au juge du fait (<ref-ruling> consid. 2a p. 291; <ref-ruling> consid. 4c p. 117).
2.2 Dans le cas particulier, il ressort de l'arrêt rendu ce jour par le Tribunal de céans sur le recours de droit public que la cour cantonale a apprécié sans arbitraire les faits, de sorte que la question de la répartition du fardeau de la preuve est devenue sans objet, les faits retenus par la cour cantonale liant le Tribunal fédéral en instance de réforme. De plus, en l'absence de motifs à l'appui de ses conclusions en réduction du loyer, vraisemblablement fondées sur l'<ref-law>, qui n'est cité à aucune occasion, la recevabilité du recours en réforme est très douteuse sur ce point (art. 55 al. 1 let. c OJ).
Toutefois, comme le moyen de violation de l'<ref-law> doit être accueilli en ce qui concerne la violation de cette disposition dans le cadre de l'action en dommages-intérêts basée sur l'<ref-law>, expressément cité, et que cette situation peut avoir une incidence éventuelle sur la détermination du montant de la réduction du loyer, le grief, esquissé en une ligne à la page 12 du mémoire du recours en réforme, sera examiné ci-dessous.
Toutefois, comme le moyen de violation de l'<ref-law> doit être accueilli en ce qui concerne la violation de cette disposition dans le cadre de l'action en dommages-intérêts basée sur l'<ref-law>, expressément cité, et que cette situation peut avoir une incidence éventuelle sur la détermination du montant de la réduction du loyer, le grief, esquissé en une ligne à la page 12 du mémoire du recours en réforme, sera examiné ci-dessous.
3. 3.1 Selon l'<ref-law>, le bailleur est tenu de délivrer la chose dans un état approprié à l'usage pour lequel elle a été louée et de l'entretenir dans cet état. Si la chose louée est affectée d'un défaut qui entrave ou restreint l'usage pour lequel elle a été louée, le locataire peut exiger une réduction proportionnelle du loyer jusqu'à l'élimination du défaut (cf. art. 259a al. 1 let. b et 259d CO). Faute de définition légale, la notion de défaut doit être rapprochée de l'état approprié à l'usage pour lequel la chose a été louée; elle suppose la comparaison entre l'état réel de la chose et l'état convenu (arrêt 4C.527/1996 du 29 mai 1997, consid. 3a, reproduit in: SJ 1997 p. 661; cf. également Lachat, op. cit., p. 141). Il y a ainsi défaut lorsque la chose ne présente pas une qualité que le bailleur avait promise (Higi, Zürcher Kommentar, n. 27 et n. 29 ad <ref-law>) ou sur laquelle le locataire pouvait légitimement compter en se référant à l'état approprié à l'usage convenu (Tercier, Les contrats spéciaux, 3e éd., 2003, n. 1869 p. 271-272). S'il ne ressort pas avec précision du bail, l'usage convenu résultera de l'interprétation du contrat selon les règles habituelles en la matière (Lachat, op. cit., p. 141; Higi, op. cit., n. 20 ad <ref-law>). Le montant du loyer sera l'un des éléments à prendre en considération; s'il paie un loyer élevé, le locataire pourra en effet s'attendre à une excellente qualité de l'objet loué (Lachat, op. cit., p. 141; USPI, Commentaire du bail à loyer, n. 21 ad <ref-law>, p. 94; Züst, Die Mängelrechte des Mieters von Wohn- und Geschäftsräumen, thèse St-Gall 1992, p. 98). Malgré la formulation de l'<ref-law>, un défaut n'est pas nécessairement provisoire; il peut être définitif et justifier une réduction de loyer permanente, jusqu'à la fin du contrat (Züst, op. cit., p. 186).
Conformément à l'<ref-law>, la réduction de loyer doit être proportionnelle au défaut. En principe, il convient de procéder selon la méthode dite relative ou proportionnelle, telle qu'elle est pratiquée dans le contrat de vente: la valeur objective de la chose avec défaut est rapportée à sa valeur objective sans défaut, le loyer étant ensuite réduit dans la même proportion (arrêt du 29 mai 1997 déjà cité, consid. 4a; USPI, op. cit., n. 15 ad <ref-law>, p. 234-235; Tercier, op. cit., n. 1906, p. 276; contra: Lachat, op. cit., p. 169; Higi, op. cit., n. 12 ad <ref-law>; Züst, op. cit., p. 187-191, qui entendent comparer l'usage actuel de la chose louée affectée du défaut et l'usage des locaux tel que prévu par le contrat). Quelle que soit la méthode choisie, le calcul proportionnel n'est pas toujours aisé, notamment lorsque, comme en l'espèce, l'exécution de travaux dans l'immeuble s'étend sur plusieurs mois de sorte que l'intensité des nuisances varie selon les jours (cf. Lachat, op. cit., p. 169). Il est alors admis qu'une appréciation en équité, par référence à l'expérience générale de la vie, au bon sens et à la casuistique, n'est pas contraire au droit fédéral (arrêt du 29 mai 1997 déjà cité, consid. 4a; pour des exemples de réduction de loyer, cf. Lachat, op. cit., p. 169-170; Züst, op. cit., p. 194 ss; Corboz, Les défauts de la chose louée, in: SJ 1979 p. 145-146).
3.2 En l'espèce, suivant en cela le Tribunal des baux, la Chambre d'appel a également procédé à une appréciation en équité, pour tenir compte de la durée du chantier qui s'est déroulé sur une année, au cours de laquelle les périodes de nuisances modérées, sans grande incidence sur la fréquentation de l'établissement public, ont pu alterner avec des épisodes plus aigus, mais aussi brefs, à l'occasion desquels la fréquentation du bar à café était gravement entravée, voire même impossible.
Se référant à l'état de fait établi par le tribunal, la cour cantonale a relevé que la plupart des travaux étaient conduits dans les étages, et que toutes les opérations n'étaient pas génératrices de bruit, ce qui ressort également de l'examen du dossier et de l'absence de plainte spécifique, pendant la première phase des travaux, s'étendant de juillet 2000 à mars 2001. Il a également été retenu que ce bar à café se trouvait dans une rue étroite et peu lumineuse du centre-ville, dans un environnement bruyant en raison de l'intensité du trafic des véhicules cherchant une place de parc, au coeur d'un des quartiers les plus fréquentés de Genève. Ces constatations, jointes au fait que la Chambre d'appel n'a pas apprécié arbitrairement, ni le constat d'huissier se référant aux travaux effectués sur le revêtement du trottoir, comportant le sciage de fers à béton, soit une intervention massive, très gênante mais brève, ni les jeux de photographies, développées respectivement les 10 mai et 27 juin 2001, démontrent que la fixation du taux de réduction du loyer à 25%, sur toute la durée du chantier, y compris les longues périodes où l'activité se déroulait à distance des locaux loués, a été arrêtée dans le respect de l'<ref-law>, et de la casuistique relative à cette disposition (Higi, op. cit., n. 16 et 17 ad <ref-law>; Lachat, op. cit., p. 169/170 et les références, déjà mentionnés).
En conséquence, le recours en réforme doit être écarté sur ce point.
En conséquence, le recours en réforme doit être écarté sur ce point.
4. 4.1 Le locataire se plaint enfin de la violation des <ref-law> et 274d al. 3 CO, dans le cadre de l'action en dommages-intérêts intentée contre la bailleresse sur la base de l'<ref-law>. Concernant les rapports entre les deux premières dispositions légales, et plus spécialement l'application de l'<ref-law>, il convient de se référer à la jurisprudence mentionnée ci-dessus au consid. 2.1. Il sied toutefois de rappeler que le juge ne doit pas instruire d'office le litige lorsqu'une partie renonce à expliquer sa position, et que la maxime inquisitoire sociale ne permet pas d'étendre à bien plaire l'administration des preuves et de recueillir toutes les preuves possibles (arrêt 4C.199/2000 du 21 décembre 2000, consid. 2a, reproduit in: SJ 2001 I p. 278/279), étant relevé que des exigences plus sévères quant au devoir de collaboration des parties peuvent être attendues de celles qui sont représentées par un avocat, comme dans le cas présent.
4.2 En l'espèce, le locataire, auquel incombait la charge de la preuve de toutes les conditions de l'action en dommages et intérêts, à l'exclusion de la faute qui est présumée (Higi, op. cit., n. 20 ad <ref-law>, p. 487/488), a produit un tableau comparatif établi par une société fiduciaire, dans le but de démontrer que tant le chiffre d'affaires que le bénéfice avaient baissé pendant les travaux litigieux. Or, ce tableau comparatif, qui peut être assimilé à une expertise privée, même s'il ne revêt pas de force probante particulière, ainsi que l'a constaté le Tribunal de céans dans son arrêt de ce jour sur le recours de droit public connexe, manifeste la volonté du locataire d'expliquer sa position, et de tenter de démontrer qu'il a subi un dommage du fait de l'exécution des travaux de rénovation. Insuffisante à prouver la réalisation d'un tel préjudice, la production de ce tableau comparatif constitue par contre un motif objectif pour les précédents juges de s'interroger sur le caractère exhaustif de l'offre de preuve du locataire, et sur la nécessité d'amener celui-ci à la compléter par l'apport de pièces probantes, susceptibles d'établir les faits quant à la survenance du dommage.
Dans une telle situation, la Chambre d'appel ne pouvait pas se borner à reprocher au locataire de n'avoir pas produit "une suite de bilans signés, voire de copies de déclarations fiscales signées (pour les impôts directs ou la TVA)", et à en tirer la conclusion de l'échec de la preuve, conduisant au rejet de l'action en raison de l'absence d'un dommage. Au contraire, la cour cantonale devait prendre l'initiative d'inviter le locataire à présenter ces pièces précisément décrites, conformément au but de la maxime inquisitoriale sociale, qui est de protéger la partie réputée faible et d'assurer l'égalité entre parties, ainsi que d'accélérer la procédure (arrêt 4C.50/2000 du 17 juillet 2000, consid. 4a).
En n'accomplissant pas ces actes d'instruction limités, qui distinguent la maxime inquisitoriale sociale de la maxime des débats, la Chambre d'appel a violé l'<ref-law>, alors que le locataire avait manifesté son intention d'expliquer sa position et de tenter d'établir l'existence du dommage consécutif aux travaux de rénovation. Qu'il l'ait fait au moyen d'une pièce, équivalant à une expertise privée, que la cour cantonale a jugé, à bon droit, impropre à rapporter la preuve requise, est sans importance à ce stade de la procédure. Dans les circonstances particulières à celle-ci, la Chambre d'appel devait inviter l'intéressé à produire les pièces qu'elle estimait nécessaires, et ne pas rejeter l'action au seul motif que le dommage n'était pas prouvé, comme si elle appliquait strictement la maxime des débats dans une procédure civile ordinaire.
Le cas est totalement différent de ceux visés dans la jurisprudence, constatant que la maxime inquisitoire prévue par le droit du bail ne va pas jusqu'à obliger le juge à interpeller une bailleresse, assistée d'une régie immobilière et/ou d'un avocat, à fournir un nombre suffisant d'exemples répondant aux exigences de la loi et de la jurisprudence, pour l'examen des loyers comparatifs, au sens de l'<ref-law> (arrêt 4C.199/2000 précité, consid. 2b et les références; arrêt 4C.50/2000 précité, consid. 4b, p. 9). Dans ces cas, les parties, et notamment le bailleur, connaissent à l'avance les réquisits légaux et jurisprudentiels, de sorte qu'elles n'ont qu'à les suivre pour présenter au juge les exemples de comparaison nécessaires à l'application de l'<ref-law>. Cette situation diffère fondamentalement de la preuve du dommage, consistant en une perte commerciale, consécutive à la conduite d'un chantier de rénovation, et qui peut être apportée par toute sorte de mesures probatoires, au sujet desquelles le juge doit orienter le plaideur, dès lors que la procédure est régie par la maxime inquisitoriale sociale et que ce dernier est le locataire, comme en l'espèce.
Il s'ensuit que le recours en réforme doit être partiellement admis en ce sens que les considérants 4 et 5 de l'arrêt cantonal du 12 mai 2003 sont annulés, et la procédure renvoyée à la Chambre d'appel pour nouvelle instruction et nouvelle décision sur la demande en dommages-intérêts introduite sur la base de l'<ref-law>. Pour le surplus, l'arrêt cantonal est confirmé.
Il s'ensuit que le recours en réforme doit être partiellement admis en ce sens que les considérants 4 et 5 de l'arrêt cantonal du 12 mai 2003 sont annulés, et la procédure renvoyée à la Chambre d'appel pour nouvelle instruction et nouvelle décision sur la demande en dommages-intérêts introduite sur la base de l'<ref-law>. Pour le surplus, l'arrêt cantonal est confirmé.
5. La bailleresse obtient gain de cause sur l'action en réduction du loyer, et le locataire, partiellement, sur l'action en dommages-intérêts, dont l'issue demeure réservée. En conséquence, l'émolument judiciaire de 5'000 fr. sera mis à raison des 3/4 à la charge du locataire, et de 1/4 à celle de la bailleresse. Celui-là versera à celle-ci une indemnité réduite de 3'000 fr., à titre de dépens.

Par ces motifs, le Tribunal fédéral prononce:
Par ces motifs, le Tribunal fédéral prononce:
1. Le recours en réforme est partiellement admis.
1. Le recours en réforme est partiellement admis.
2. L'arrêt attaqué est partiellement annulé dans le sens des considérants; il est confirmé pour le surplus.
2. L'arrêt attaqué est partiellement annulé dans le sens des considérants; il est confirmé pour le surplus.
3. La cause est retournée à la cour cantonale pour instruction et nouvelle décision sur la demande en dommages-intérêts fondée sur l'<ref-law>.
4. Un émolument judiciaire de 5'000 fr. est mis pour les trois quarts à la charge du recourant et pour un quart à la charge de l'intimée.
4. Un émolument judiciaire de 5'000 fr. est mis pour les trois quarts à la charge du recourant et pour un quart à la charge de l'intimée.
5. Le recourant versera à l'intimée une indemnité de 3'000 fr. à titre de dépens réduits.
5. Le recourant versera à l'intimée une indemnité de 3'000 fr. à titre de dépens réduits.
6. Le présent arrêt est communiqué en copie aux mandataires des parties et à la Chambre d'appel en matière de baux et loyers du canton de Genève.
Lausanne, le 14 octobre 2003
Au nom de la Ire Cour civile
du Tribunal fédéral suisse
Le président: La greffière: