Faits : Faits : A. L'assemblée primaire de la commune de Port-Valais a adopté en 2002 le plan de quartier "La Marina" prévoyant la réalisation d'un ensemble résidentiel et touristique au Bouveret. Le constructeur en est la société Y._ SA. BX._, AX._, CX._, DX._ et des consorts de la même famille avaient recouru auprès du Conseil d'Etat du canton du Valais contre cette décision. La famille X._ était en effet propriétaire d'une maison voisine, sur la parcelle n° yyy, immeuble appartenant actuellement aux héritiers de CX._, décédé depuis lors, héritiers qui sont BX._, AX._ et DX._. Le recours au Conseil d'Etat a été retiré en application d'une convention du 30 juin 2003 entre Y._ SA et les consorts X._, lesquels s'engageaient en outre à ne pas faire opposition lors de la mise à l'enquête du projet de construction. Le plan de quartier a ensuite été homologué par le Conseil d'Etat et les autorisations de construire ont été délivrées, en particulier pour le bâtiment P1 (autorisation communale du 19 mai 2004). BX._, AX._, CX._, DX._ et des consorts de la même famille avaient recouru auprès du Conseil d'Etat du canton du Valais contre cette décision. La famille X._ était en effet propriétaire d'une maison voisine, sur la parcelle n° yyy, immeuble appartenant actuellement aux héritiers de CX._, décédé depuis lors, héritiers qui sont BX._, AX._ et DX._. Le recours au Conseil d'Etat a été retiré en application d'une convention du 30 juin 2003 entre Y._ SA et les consorts X._, lesquels s'engageaient en outre à ne pas faire opposition lors de la mise à l'enquête du projet de construction. Le plan de quartier a ensuite été homologué par le Conseil d'Etat et les autorisations de construire ont été délivrées, en particulier pour le bâtiment P1 (autorisation communale du 19 mai 2004). B. Le 4 juillet 2006, AX._ a écrit au conseil municipal de la commune de Port-Valais pour signaler que le bâtiment P1 comportait d'après lui un niveau de plus que ce qui était prévu dans le projet initial. La construction était alors sur le point d'être terminée. Le 9 août 2006, le conseil municipal lui a répondu que, saisie le 23 mai 2005 d'une requête de modification de l'autorisation de construire du 19 mai 2004, elle avait délivré un permis complémentaire le 31 mai 2005. Cette nouvelle décision avait été prise sans enquête publique préalable, l'art. 57 de l'ordonnance cantonale sur les constructions, du 2 octobre 1996 (OC), permettant de renoncer à une telle formalité lorsque les caractéristiques principales du projet demeurent inchangées; il en allait ainsi en l'occurrence, car les changements autorisés avaient trait à la forme de la toiture, à la hauteur du faîte - dans les limites prescrites par le plan de quartier - et à la création d'un appartement. AX._ s'est pourvu le 18 août 2006 devant le Conseil d'Etat. Son recours "contre la décision de la municipalité de Port-Valais du 31 mai 2005, remise au recourant par lettre du 9 août 2006" a été rejeté par une décision rendue le 6 décembre 2006. AX._ s'est pourvu le 18 août 2006 devant le Conseil d'Etat. Son recours "contre la décision de la municipalité de Port-Valais du 31 mai 2005, remise au recourant par lettre du 9 août 2006" a été rejeté par une décision rendue le 6 décembre 2006. C. AX._ a recouru auprès du Tribunal cantonal contre la décision du Conseil d'Etat. La Cour de droit public du Tribunal cantonal a rejeté le recours, dans la mesure où il était recevable, par un arrêt rendu le 10 mai 2007. Elle a d'abord relevé que le recourant déclarait agir en qualité de propriétaire d'une parcelle adjacente du fonds où est construit le bâtiment P1. Or c'est l'hoirie de CX._ (dont AX._ fait partie) qui est propriétaire de fonds directement voisins de ce bâtiment, aucune parcelle appartenant au seul AX._ ne jouxtant le complexe de "La Marina". Le recourant n'affirmait au demeurant pas agir au nom de l'hoirie. Cela étant, la question de sa qualité pour agir a été laissée indécise (consid. 1). La Cour de droit public a ensuite fait référence au principe de la bonne foi (art. 5 al. 3 Cst.) en considérant que, dans le cas de travaux de construction dispensés d'enquête publique, les tiers qui n'ont pas reçu communication de la décision ne pouvaient pas indéfiniment se pourvoir auprès de l'autorité de recours, mais devaient au contraire agir aussitôt qu'ils avaient eu connaissance de l'autorisation, ou dès le moment où ils auraient pu la connaître s'ils avaient été diligents. L'obligation d'agir sans tarder s'appliquait aussi au voisin n'ayant pas fait opposition lors de l'enquête publique et constatant ensuite l'édification d'un bâtiment ne correspondant pas au projet publié (consid. 2b). En l'occurrence, pour un membre de l'hoirie de CX._, propriétaire d'un immeuble voisin du bâtiment litigieux, les modifications apportées au projet initial étaient suffisamment évidentes depuis le mois de décembre 2005, l'essentiel des travaux étant alors réalisé à cette époque. Du reste, une autre membre de l'hoirie, BX._ (la soeur de AX._), avait écrit le 7 décembre 2005 à l'autorité communale pour s'enquérir de la régularité de ces travaux, puis par l'intermédiaire de son avocat elle avait saisi le Conseil d'Etat d'un recours, à propos du bâtiment P1. Dans le cadre de cette procédure, BX._ avait remis au Conseil d'Etat une procuration du 6 avril 2006 en faveur de son avocat, procuration contresignée par AX._. Selon la Cour de droit public, en signant ce document, AX._ n'avait alors plus de doute sur la possibilité de discuter, à ce moment-là, l'existence ou l'inexistence d'un permis de réaliser les travaux (consid. 2c). L'arrêt retient encore, comme autre motif de tardiveté, l'"indivisibilité des droits de l'hoirie", de fait défendus par BX._ qui, après son intervention du 7 décembre 2005, avait recouru en vain "pour les ayants droit de la parcelle n° yyy" auprès du Conseil d'Etat puis du Tribunal cantonal, lequel avait statué par un arrêt du 18 août 2006 (consid. 2c). A propos des griefs de violation de l'art. 57 OC à cause de la dispense d'enquête publique, la Cour de droit public a considéré en substance que le voisin pouvait à certaines conditions obtenir un examen matériel de ses motifs d'opposition par l'autorité de recours mais qu'il n'avait pas un droit inconditionnel à une reprise de la procédure au stade de l'enquête publique (consid. 2d). La Cour de droit public a finalement rejeté un grief de violation des principes de la coordination, selon l'art. 25a LAT (consid. 3). C. AX._ a recouru auprès du Tribunal cantonal contre la décision du Conseil d'Etat. La Cour de droit public du Tribunal cantonal a rejeté le recours, dans la mesure où il était recevable, par un arrêt rendu le 10 mai 2007. Elle a d'abord relevé que le recourant déclarait agir en qualité de propriétaire d'une parcelle adjacente du fonds où est construit le bâtiment P1. Or c'est l'hoirie de CX._ (dont AX._ fait partie) qui est propriétaire de fonds directement voisins de ce bâtiment, aucune parcelle appartenant au seul AX._ ne jouxtant le complexe de "La Marina". Le recourant n'affirmait au demeurant pas agir au nom de l'hoirie. Cela étant, la question de sa qualité pour agir a été laissée indécise (consid. 1). La Cour de droit public a ensuite fait référence au principe de la bonne foi (art. 5 al. 3 Cst.) en considérant que, dans le cas de travaux de construction dispensés d'enquête publique, les tiers qui n'ont pas reçu communication de la décision ne pouvaient pas indéfiniment se pourvoir auprès de l'autorité de recours, mais devaient au contraire agir aussitôt qu'ils avaient eu connaissance de l'autorisation, ou dès le moment où ils auraient pu la connaître s'ils avaient été diligents. L'obligation d'agir sans tarder s'appliquait aussi au voisin n'ayant pas fait opposition lors de l'enquête publique et constatant ensuite l'édification d'un bâtiment ne correspondant pas au projet publié (consid. 2b). En l'occurrence, pour un membre de l'hoirie de CX._, propriétaire d'un immeuble voisin du bâtiment litigieux, les modifications apportées au projet initial étaient suffisamment évidentes depuis le mois de décembre 2005, l'essentiel des travaux étant alors réalisé à cette époque. Du reste, une autre membre de l'hoirie, BX._ (la soeur de AX._), avait écrit le 7 décembre 2005 à l'autorité communale pour s'enquérir de la régularité de ces travaux, puis par l'intermédiaire de son avocat elle avait saisi le Conseil d'Etat d'un recours, à propos du bâtiment P1. Dans le cadre de cette procédure, BX._ avait remis au Conseil d'Etat une procuration du 6 avril 2006 en faveur de son avocat, procuration contresignée par AX._. Selon la Cour de droit public, en signant ce document, AX._ n'avait alors plus de doute sur la possibilité de discuter, à ce moment-là, l'existence ou l'inexistence d'un permis de réaliser les travaux (consid. 2c). L'arrêt retient encore, comme autre motif de tardiveté, l'"indivisibilité des droits de l'hoirie", de fait défendus par BX._ qui, après son intervention du 7 décembre 2005, avait recouru en vain "pour les ayants droit de la parcelle n° yyy" auprès du Conseil d'Etat puis du Tribunal cantonal, lequel avait statué par un arrêt du 18 août 2006 (consid. 2c). A propos des griefs de violation de l'art. 57 OC à cause de la dispense d'enquête publique, la Cour de droit public a considéré en substance que le voisin pouvait à certaines conditions obtenir un examen matériel de ses motifs d'opposition par l'autorité de recours mais qu'il n'avait pas un droit inconditionnel à une reprise de la procédure au stade de l'enquête publique (consid. 2d). La Cour de droit public a finalement rejeté un grief de violation des principes de la coordination, selon l'art. 25a LAT (consid. 3). D. Agissant par la voie du recours en matière de droit public, AX._ demande au Tribunal fédéral d'annuler l'arrêt du Tribunal cantonal. Il se plaint d'une interprétation arbitraire de l'art. 57 OC en faisant valoir que la commune n'était pas fondée à refuser de mettre à l'enquête publique les modifications du projet initial pour le bâtiment P1. Il soutient également qu'il était arbitraire de considérer qu'il aurait dû agir avec davantage de célérité pour contester ces modifications. Il dénonce encore une violation du principe de la coordination dans la procédure d'autorisation de construire (art. 25a LAT), se plaint d'une violation de la garantie de la propriété (art. 26 Cst.) et, enfin, critique l'absence d'enquête publique, avant l'autorisation complémentaire, en faisant valoir qu'il a été privé ainsi d'un droit de recours effectif contre la décision, en violation de son droit d'être entendu (art. 29 Cst., en relation avec les art. 6 par. 1 CEDH et 14 Pacte ONU II). La société Y._ SA conclut au rejet du recours. La commune, le Conseil d'Etat et le Tribunal cantonal ont renoncé à déposer une réponse. La société Y._ SA conclut au rejet du recours. La commune, le Conseil d'Etat et le Tribunal cantonal ont renoncé à déposer une réponse. E. Par ordonnance du 12 juillet 2007, le Président de la Ire Cour de droit public a rejeté une requête de mesures provisionnelles présentée par la recourant, requête qui tendait à ce que Y._ SA soit invitée à surseoir à toute construction en relation avec l'autorisation de bâtir du 31 mai 2005. 