facts:
Faits:
A. Le 25 avril 2005, la Commune de Montreux a passé avec la société TFI Buchillon SA un contrat de vente à terme portant sur les parcelles 8089, 8090 et 8101, soit la propriété "Les Bosquets" au lieu-dit Fontanivent, pour le prix de 7,6 millions de francs. D'une surface de plus de 23'000 m2, le domaine, fortement arborisé, comprend notamment deux bâtiments d'habitation; il est situé en zone de faible densité protégée. L'acheteur s'engageait à maintenir la villa "Les Bosquets", à respecter un plan d'implantation et à protéger les arbres majeurs répertoriés. Le 5 octobre 2005, sur préavis de la Municipalité, le Conseil communal de Montreux a autorisé la vente; le produit de cette opération était destiné à l'amortissement de la couverture financière d'un hôtel de ville. Cette décision n'a pas fait l'objet d'un référendum. Le financement de l'hôtel de ville a été refusé en votation populaire, le 21 mai 2006.
B. Un projet de construction a été mis à l'enquête au mois d'avril 2006. Le permis délivré par la Municipalité a fait l'objet d'un recours. Le 15 mai 2006, TFI Buchillon a fait usage de son droit, réservé par le contrat, d'obtenir l'exécution de la vente indépendamment de l'obtention d'un permis définitif, moyennant paiement de l'intégralité du prix de vente.
C. Le 17 mai 2006, une initiative populaire communale intitulée "Sauver les Bosquets de Fontanivent" a été déposée. Elle demande que soit soumise aux électeurs de la Commune de Montreux la question suivante: "acceptez-vous que le domaine des "Bosquets de Fontanivent" avec ses arbres et ses bâtiments existants reste la propriété de la commune de Montreux et soit ouvert à la population?". La Municipalité a autorisé la récolte de signatures le 19 mai suivant, tout en relevant que l'initiative devrait être déclarée sans objet en raison de l'acte de vente du 25 avril 2005, devenu exécutoire. Le 1er septembre 2006, la Municipalité a constaté l'aboutissement de l'initiative, munie de 2762 signatures valables.
Dans son préavis du 23 novembre 2006 au Conseil communal, la Municipalité s'est référée à un avis de droit déposé le 12 novembre précédent par le Professeur Grisel. En tant qu'elle remettait en cause la vente du domaine, sur laquelle le Conseil communal ne pouvait plus revenir, l'initiative n'avait pas d'objet valable, heurtait le principe de la bonne foi et n'était pas susceptible d'exécution. La Municipalité ajoutait que le prix de vente avait été versé le 8 novembre 2006, et que l'inscription du transfert de propriété avait été requise auprès du Registre foncier.
Par décision du 31 janvier 2007, suivant l'avis de la commission chargée d'examiner l'initiative, le Conseil communal de Montreux a constaté que celle-ci remplissait les conditions formelles de validité (ch. 1), mais qu'elle n'avait pas d'objet (ch. 2), qu'elle ne se conformait pas au droit supérieur, notamment au principe de la bonne foi (ch. 3), et n'était pas susceptible d'exécution (ch. 4). Elle était donc invalide (ch. 5), et son dépôt, faute d'effet suspensif, n'avait pas empêché l'exécution du contrat de vente (ch. 6).
D. Par arrêt du 6 juillet 2007, la Cour constitutionnelle du canton de Vaud a admis le recours formé par Franz Weber et huit consorts (soit les promoteurs de l'initiative) ainsi que par le comité d'initiative. En tant qu'elle portait sur le maintien du domaine en main de la commune, l'initiative était inexécutable car la propriété avait été transférée le 8 novembre 2006 sans que l'initiative n'ait à cet égard d'effet suspensif. Le sort du crédit de construction pour l'hôtel de ville était sans incidence sur la validité de la vente. Limitée à l'ouverture au public et à la protection du site, l'initiative conservait toutefois un sens correspondant à la volonté des initiants; il n'y avait pas d'abus de droit. L'objectif de l'initiative, ainsi limité, entrait dans les compétences de la commune, compte tenu de l'autonomie dont celle-ci disposait en matière de planification, en particulier dans le domaine de la protection des sites et des bâtiments; il n'y avait pas d'obstacle insurmontable à la réalisation de l'initiative, et il appartenait aux électeurs de se prononcer sur ses implications financières. L'initiative devait donc être soumise au peuple dans la formulation suivante "Acceptez-vous que le domaine des "Bosquets de Fontanivent" avec ses arbres et ses bâtiments existants soit ouvert à la population?".
E. La Commune de Montreux, ainsi que Wolfgang Martz, Denis Golaz, Salvatore Giannone et Lorenzo Demartini, tous quatre électeurs dans cette commune, forment un recours en matière de droit public; ils concluent à l'annulation de l'arrêt de la Cour constitutionnelle et au renvoi de la cause à cette cour afin qu'elle prononce l'invalidité totale de l'initiative.
La Cour constitutionnelle se réfère à son arrêt. Franz Weber et consorts concluent à l'irrecevabilité du recours formé par la Commune de Montreux, subsidiairement à son rejet, et au rejet du recours formé par les électeurs Montreusiens dans la mesure où il est recevable.
La demande d'effet suspensif formée par les recourants a été admise par ordonnance du 3 octobre 2007.

considerations:
Considérant en droit:
1. Selon l'art. 82 let. c LTF, le Tribunal fédéral connaît des recours qui concernent le droit de vote des citoyens ainsi que les élections et votations populaires. Cette disposition reprend la règle de l'art. 85 let. a OJ et permet de recourir contre l'ensemble des actes affectant les droits politiques (message LTF, FF 2001 4118), y compris au niveau communal (ATF 129 I 392 consid. 2.1 p. 394). Le recours en matière de droits politiques permet en particulier au citoyen de se plaindre de ce qu'une initiative a été indûment soustraite au scrutin populaire, parce qu'elle a été déclarée totalement ou partiellement invalide par l'autorité cantonale chargée de cet examen.
1.1 Selon la jurisprudence, le recours pour violation des droits politiques est également ouvert pour contester, comme en l'espèce, la décision de présenter totalement ou partiellement une initiative au vote populaire, pour autant que le droit cantonal charge l'autorité compétente de vérifier d'office la conformité des initiatives aux règles supérieures. Dans ce cas, le citoyen dispose d'une prétention à ce que ce contrôle obligatoire soit effectué correctement et à ce que le corps électoral soit dispensé de se prononcer, le cas échéant, sur des dispositions qui paraissent d'emblée contraires au droit matériel supérieur (ATF 128 I 190 consid. 1.3 p. 194).
Selon l'art. 106m de la loi vaudoise sur l'exercice des droits politiques (LEDP), le Conseil général ou communal statue sur la validité des initiatives (al. 1). Il constate la nullité de celles qui sont contraires au droit supérieur (al. 2 let. a) ou violent l'unité de rang, de forme ou de matière (al. 2 let. b). A teneur de cette disposition, le Conseil communal est tenu de contrôler d'office la conformité des initiatives populaires au droit supérieur. Le recours peut par conséquent porter tant sur le respect des règles relatives au droit d'initiative proprement dit (en particulier l'admissibilité d'une validation partielle) que, le cas échéant, sur le respect du droit supérieur, notamment le droit fédéral et le droit constitutionnel.
1.2 La qualité pour recourir dans le domaine des droits politiques appartient à toute personne disposant du droit de vote dans l'affaire en cause (art. 89 al. 3 LTF), même si elle n'a aucun intérêt juridique personnel à l'annulation de l'acte attaqué (ATF 130 I 290 consid. 1 p. 292; 128 I 190 consid. 1 p. 192; 121 I 138 consid. 1 p. 139; 357 consid. 2a p. 360; BELLANGER, Le recours en matière de droit public, in: Les recours au Tribunal fédéral, Genève 2007, pp. 133 ss, 152 ). La qualité pour agir des électeurs de la Commune de Montreux est donc indiscutable.
1.3 La Commune de Montreux relève qu'elle a pris part à la procédure devant l'autorité précédente (art. 89 al. 1 let. a LTF) et qu'elle aurait un intérêt digne de protection en sa qualité de venderesse du domaine de Fontanivent, exposée aux prétentions de l'acheteur qui ne pourrait utiliser le bien-fonds conformément à ce qui a été prévu.
1.3.1 En matière de droits politiques, la qualité pour agir n'est reconnue aux collectivités, de droit privé ou de droit public, que dans des cas particuliers: les personnes morales n'ont en principe pas la qualité pour recourir, faute d'être titulaires des droits politiques (cf. arrêts 1P.451/2006 du 28 février 2007, consid. 1.4 publié in PJA 2007 p. 902; 1P.89/1988 du 18 décembre 1988 publié in ZBl 1989 p. 491, consid. 1; KÄLIN, Das Verfahren der staatsrechtlichen Beschwerde, 2e éd., Berne 1994, p. 280; AUBERT, Traité de droit constitutionnel suisse, vol. II, Neuchâtel 1967, p. 600; GRISEL, Initiative et référendum populaires, Traité de la démocratie semi-directe en droit suisse, Berne 2004 p. 154-155). La qualité pour recourir est néanmoins reconnue aux partis politiques et aux organisations à caractère politique formées en vue d'une action précise - telle que le lancement d'un référendum ou d'une initiative - pour autant qu'ils soient constitués en personne morale, qu'ils exercent leur activité dans la collectivité publique concernée par la votation en cause et qu'ils recrutent principalement leurs membres en fonction de leur qualité d'électeurs (arrêt 1P.451/2006 précité; ATF 130 I 290 consid. 1.3 p 292; 121 I 334 consid. 1a p. 337; 115 Ia 148 consid. 1b p. 153; 114 Ia 267 consid. 2b p. 270; 111 Ia 115 consid. 1a p. 116 s. et les arrêts cités).
Les collectivités de droit public ne sont pas non plus titulaires des droits politiques et n'ont pas qualité pour recourir dans ce domaine (ATF 117 Ia 233 consid. 4a p. 244; 76 I 50; KÄLIN, op. cit. p. 281; KIENER, Die Beschwerde in öffentlich-rechtlichen Angelegenheiten, in: Neue Bundesrechtspflege, Berne 2007 p. 219 ss, 269-270; GRISEL, op. cit. p. 155, qui réserve les cas où le droit cantonal reconnaît aux communes une large autonomie dans les votations, ou leur accorde le droit d'initiative ou de référendum).
1.3.2 Contrairement à ce que soutiennent les recourants, l'adoption de la LTF n'a rien changé à la pratique développée sous l'empire de l'OJ. Selon le message relatif à la LTF, l'art. 89 al. 3 LTF (soit l'art. 83 al. 2 du projet) ne fait que reprendre la pratique antérieure en reconnaissant la qualité pour recourir aux électeurs de la collectivité concernée (FF 2001 4127). Le message ajoute certes que cette règle serait complémentaire à l'al. 1 de la même disposition (ce qui expliquerait les expressions "ausserdem" et "inoltre" dans les versions allemande et italienne), et n'empêcherait donc pas une personne dépourvue du droit de vote de recourir si elle a un intérêt digne de protection à l'annulation de la décision. Toutefois, il ressort clairement de la suite du message que cette précision vise exclusivement l'exemple du candidat à une élection "lorsque la capacité électorale passive ne dépend pas du droit de vote". Sur ce point également, la LTF ne déroge pas à la pratique antérieure puisque le recours prévu à l'art. 85 let. a OJ était également ouvert pour protéger la capacité civique passive, soit le droit d'éligibilité (ATF 128 I 34 consid. 1e p. 38; 119 Ia 167 consid. 1d p. 169).
1.3.3 Il en résulte que la qualité pour recourir en matière de droits politiques est définie de manière spécifique et exhaustive à l'art. 89 al. 3 LTF. Comme auparavant, elle dépend exclusivement de la titularité des droits politiques (GEROLD STEINMANN, Basler Kommentar zum BGG, Bâle 2008 n° 71-72 ad art. 89). Etendre cette qualité à toute personne disposant d'un intérêt juridique, au sens de l'art. 89 al. 1 LTF (cf. SEILER/VON WERDT/GÜNGERICH, Bundesgerichtsgesetz, Berne 2007 p. 372; SPÜHLER/DOLGE/VOCK, Kurzkommentar zum Bundesgerichtsgesetz, Zurich 2006 p. 168), reviendrait à dénaturer la voie de droit particulière prévue à l'art. 82 let. c LTF, dont l'objet est strictement limité à la sauvegarde des droits politiques (cf. GEROLD STEINMANN, op. cit. n° 75 ad art. 82; KIENER, op. cit. pp 269-270, qui rappelle la volonté du législateur de maintenir sur ce point la pratique antérieure; BESSON, Die Beschwerde in Stimmrechtssachen, in: Ehrenzeller/Schweizer (éd), Die Reorgarnisation der Bundesrechtspflege - Neuerungen und Auswirkungen in der Praxis, St.-Gall 2006 pp 403ss, 413-414; ). Faute d'être titulaire des droits politiques, la Commune de Montreux n'a pas qualité pour agir.
1.3.4 Pour le surplus, la Commune renonce expressément à se prévaloir de son autonomie, en relevant que les communes vaudoises sont autonomes en matière d'aménagement du territoire et de gestion du patrimoine communal, mais non en matière d'exercice des droits politiques. Le recours ne contient d'ailleurs pas de motivation en rapport avec l'autonomie communale (art. 106 al. 2 LTF).
Le recours est par conséquent irrecevable en tant qu'il est formé par la Commune de Montreux.
2. Les recourants estiment que la Cour constitutionnelle ne pouvait scinder l'initiative en deux parties, pour ne laisser subsister que celle qui concerne l'accès du public au domaine. L'objectif principal poursuivi par les initiants était le maintien de la propriété communale sur le domaine de Fontanivent; l'accès au public n'en était qu'une conséquence accessoire, et la protection du site n'est même pas évoquée dans l'initiative. L'aliénation par la Commune rendait donc l'initiative invalide dans son ensemble.
2.1 Les recourants ne contestent pas qu'une initiative populaire puisse être partiellement invalidée. Même si la loi ne la prévoit pas expressément, cette possibilité découle du principe selon lequel une initiative doit être interprétée dans le sens le plus favorable aux initiants, selon l'adage "in dubio pro populo" (arrêt 1P.451/2006 du 28 février 2007 consid. 2.2). Elle apparaît également comme une concrétisation, en matière de droits populaires, du principe général de la proportionnalité (rappelé à l'art. 36 al. 3 Cst. en ce qui concerne les atteintes aux droits fondamentaux) qui veut que l'intervention étatique porte l'atteinte la plus restreinte possible aux droits des citoyens, et que les décisions d'invalidation soient autant que possible limitées, en retenant la solution la plus favorable aux initiants (ATF 132 I 282 consid. 3.1 p. 286 et les arrêts cités; 129 I 381 consid. 4a p. 388). Ainsi, lorsque seule une partie de l'initiative apparaît inadmissible, la partie restante peut subsister comme telle, pour autant qu'elle forme un tout cohérent, qu'elle puisse encore correspondre à la volonté des initiants et qu'elle respecte en soi le droit supérieur (ATF 130 I 185 consid. 5 p. 202; 125 I 227 consid. 4a et b p. 231 et la jurisprudence citée). L'invalidité d'une partie de l'initiative ne doit entraîner celle du tout que si le texte ne peut être amputé sans être dénaturé (ATF 128 I 190 consid. 6 p. 203; 125 I 227 consid. 4 p. 231; 124 I 107 consid. 5b p. 117; 121 I 334 consid. 2a p. 338 et la jurisprudence citée).
2.2 En l'espèce, l'initiative est intitulée "Sauver les bosquets de Fontanivent". Il est demandé que le domaine "reste la propriété de la Commune de Montreux et soit ouvert à la population". Il en ressort clairement que la protection du site et son accessibilité au public étaient présentées comme les conséquences directes du maintien de la propriété de la Commune, de sorte que le projet des initiants doit être interprété comme un tout. Dès le moment où le domaine est passé en mains privées, la protection du site et son accessibilité au public supposent non plus le maintien d'un statu quo, mais l'adoption de toute une série de mesures supplémentaires. Il ne saurait certes s'agir, comme l'estiment les intimés, d'une annulation de la vente, puisque la partie de l'initiative relative au maintien de la propriété du domaine a été annulée. En revanche, comme le relève la Cour constitutionnelle, cela imposerait à la Commune d'assurer la protection du site par le biais de mesures d'aménagement du territoire, et de garantir au public l'accessibilité du domaine, y compris ses bâtiments, au moyen de mesures d'expropriation matérielle ou formelle.
Dans tous les cas, il s'agit de mesures qui n'étaient pas visées à l'origine, et dont les signataires de l'initiative ne pouvaient présumer la nécessité. L'annulation partielle qui résulte de l'arrêt cantonal n'a ainsi pas pour conséquence une simple réduction de l'objet de l'initiative (cf. ATF 130 I 185 consid. 5.2 p. 203; cf également l'arrêt 1P.454/ 2006 du 22 mai 2007 concernant l'initiative populaire genevoise "Pour un financement juste et durable de la politique sociale du logement par l'or de la Banque Nationale Suisse"), mais une modification notable de celui-ci; elle a pour effet de dénaturer la démarche d'origine. En dépit des assurances des auteurs de l'initiative, on ne saurait donc retenir que les personnes qui l'ont signée dans le simple but de maintenir une situation de fait et de droit déterminée, l'auraient fait également en sachant que cela impliquait une série de mesures portant atteinte au droit de propriété du nouvel acquéreur, avec les conséquences financières qui pourront en résulter pour la collectivité.
2.3 Pour ce motif déjà, l'arrêt cantonal doit être annulé, sans qu'il y ait lieu de s'interroger sur le respect des compétences communales et du droit supérieur. L'arrêt attaqué est annulé et la décision du Conseil communal invalidant l'initiative doit être confirmée. Conformément à l'art. 66 al. 1 LTF, les frais judiciaires sont mis à la charge solidaire des intimés, qui succombent (ATF 133 I 141 consid. 4.2 op. 143). Ceux-ci peuvent être réduits, en fonction des circonstances, de même que l'indemnité de dépens allouée aux recourants. La Commune de Montreux, dont le recours est irrecevable, n'a pas droit à des dépens (cf. également l'art. 68 al. 3 LTF); elle n'a pas à payer de frais judiciaire (art. 66 al. 4 LTF); elle versera en revanche aux intimés une indemnité de dépens réduite. La cause doit être renvoyée à la Cour constitutionnelle pour nouvelle décision sur les frais et dépens de l'instance cantonale (art. 68 al. 5 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce:
1. Le recours formé par la Commune de Montreux est irrecevable.
2. Le recours formé par Wolfgang Martz, Denis Golaz, Salvatore Giannone et Lorenzo Demartini est admis. L'arrêt attaqué est annulé et la décision du Conseil communal de Montreux du 31 janvier 2007 constatant la nullité de l'initiative populaire communale "Sauver les bosquets de Fontanivent" est confirmée.
3. Les frais judiciaires, arrêtés à 1000 fr., sont mis à la charge solidaire des intimés.
4. Une indemnité de dépens de 1000 fr., allouée aux recourants Wolfgang Martz, Denis Golaz, Salvatore Giannone et Lorenzo Demartini, est mise à la charge solidaire des intimés.
5. Une indemnité de dépens de 500 fr. est allouée aux intimés, à la charge de la Commune de Montreux.
6. La cause est renvoyée à la Cour constitutionnelle du canton de Vaud pour nouvelle décision sur les frais et dépens de l'instance cantonale.
7. Le présent arrêt est communiqué aux mandataires des parties et à la Cour constitutionnelle du canton de Vaud.
Lausanne, le 5 mars 2008
Au nom de la Ire Cour de droit public
du Tribunal fédéral suisse
Le Président: Le Greffier:
Féraud Kurz


facts:
Faits:
A. A.a A._, né en 1949, et dame A._, née en 1950, se sont mariés le 16 février 1973 à Genève. Deux enfants, aujourd'hui majeurs, sont issus de cette union. Les époux se sont séparés le 1er septembre 1995.
Par jugement du 12 juin 2003, le Tribunal de première instance de Genève a prononcé le divorce des conjoints et donné acte au mari de son engagement de verser à l'épouse une contribution d'entretien mensuelle de 4'000 fr. jusqu'au mois d'avril 2014 compris.
A.b Le 20 décembre 2003, A._ a épousé B._, née en 1971. Ils ont eu deux enfants: C._, né en 2003, et D._, né en 2006.
B. B.a Le 22 mai 2008, A._ a sollicité la modification du jugement de divorce, concluant à ce que la contribution d'entretien soit réduite à 1'000 fr. par mois dès le 1er avril 2008. A l'appui de ses conclusions, il a invoqué sa mise à la retraite anticipée au 31 mars 2008 en raison d'une restructuration de la société qui l'employait, son remariage et la naissance de ses deux enfants.
Par jugement du 26 mai 2009, le Tribunal de première instance a réduit le montant de la pension après divorce à 3'000 fr. par mois. En substance, il a retenu que le débirentier avait délibérément renoncé à obtenir des ressources plus importantes en louant sa villa à sa fille pour un prix de faveur de 900 fr., alors qu'il aurait pu en retirer 3'500 fr. par mois. Par ailleurs, sa nouvelle épouse étant titulaire d'un diplôme de fin d'études de l'Ecole de culture générale, elle pouvait réaliser un salaire afin de subvenir en partie à l'entretien de ses enfants. Quant à dame A._, il a considéré qu'elle aurait dû, pour sa part, conserver son emploi de téléphoniste-réceptionniste pour maintenir son train de vie.
B.b Les deux parties ont formé un appel devant la Cour de justice du canton de Genève. A._ a conclu à ce que la contribution d'entretien soit réduite à 1'000 fr. par mois dès le 1er avril 2008. Dame A._ a conclu au maintien de la contribution d'entretien à 4'000 fr. telle que prévue dans le jugement de divorce. Par arrêt du 12 mars 2010, la cour cantonale a réduit la contribution d'entretien à 1'500 fr. par mois, dès l'entrée en force de son arrêt et jusqu'au 30 avril 2014.
B.c Chacune des parties a exercé un recours en matière civile contre l'arrêt du 12 mars 2010. Dame A._ a conclu à la confirmation du jugement de première instance rendu le 26 mai 2009 fixant la pension à 3'000 fr. A._ a conclu à ce que le montant de la contribution d'entretien soit fixé à 1'000 fr. par mois, du 22 mai 2008 jusqu'au mois d'avril 2014.
Par arrêt du 28 octobre 2010 (5A_290/2010), le Tribunal fédéral a partiellement admis les recours, annulé l'arrêt attaqué et renvoyé la cause à l'autorité cantonale pour nouvelle décision dans le sens des considérants. En bref, il a considéré que l'instance cantonale avait violé le droit fédéral en imputant un revenu hypothétique de 2'847 fr. à la recourante, d'une part, et de 1'196 fr. à l'épouse du recourant, d'autre part.
C. Dans le cadre de ce renvoi devant l'autorité cantonale, A._ a conclu à la réduction de la contribution d'entretien en faveur de dame A._ à 1'000 fr. par mois dès le 22 mai 2008 jusqu'au mois d'avril 2014. Dame A._ a conclu à l'annulation du jugement entrepris, en tant qu'il réduit à 3'000 fr. par mois le montant de la contribution d'entretien, et à la confirmation du jugement de divorce du 12 juin 2003 fixant la pension à 4'000 fr. Statuant le 17 juin 2011, la Cour de justice a annulé le jugement de première instance du 26 mai 2009. Elle a réduit la contribution d'entretien due par A._ pour l'entretien de dame A._ à 3'500 fr. par mois, du 22 mai 2008 jusqu'au 30 avril 2014.
Pour fixer la contribution d'entretien précitée, la cour a notamment retenu qu'en 2005, A._ avait acquis par succession la propriété, non hypothéquée, d'une parcelle de 2'578 m2 à Y._, sur laquelle était érigée une villa de 115 m2 qu'il louait à sa fille pour un prix de faveur de 900 fr. par mois, lui-même occupant avec sa famille l'ancienne villa conjugale, dont il était devenu seul propriétaire après le divorce. Selon la cour, pour faire face à ses obligations d'entretien envers dame A._, A._ devait grever cette villa d'une hypothèque et obtenir ainsi un emprunt de 200'000 fr., le loyer de 10'800 fr. par an (12 x 900 fr.) lui permettant de payer les intérêts et l'amortissement usuels d'un tel emprunt, totalisant 5% du capital par année. Réparti du 22 mai 2008 au 30 avril 2014, soit sur 72 mois, le capital de 200'000 fr. lui permettait d'obtenir un montant net de 1'880 fr. par mois (2'777 fr. 77 - 900 fr.), en sus de ses revenus.
D. A._ (ci-après: le recourant) exerce un recours en matière civile contre cet arrêt. Principalement, il conclut à sa réforme en ce sens que la contribution d'entretien due à dame A._ (ci-après: l'intimée) soit réduite à 1'000 fr. par mois dès le 22 mai 2008 jusqu'au mois d'avril 2014 y compris; subsidiairement, il conclut au renvoi de la cause à la cour cantonale pour nouvelle décision dans le sens des considérants. En substance, il invoque la violation du principe de l'autorité de l'arrêt de renvoi, des art. 9 (arbitraire dans l'application du droit de procédure cantonal et dans l'appréciation des preuves) et 29 al. 2 Cst., 8 et 129 CC.
Invitées à déposer leurs observations, l'intimée a conclu au rejet du recours et l'autorité cantonale s'est référée aux considérants de l'arrêt attaqué.
E. Par ordonnance présidentielle du 13 septembre 2011, l'effet suspensif au recours a été refusé.

considerations:
Considérant en droit:
1. Le recours est dirigé contre une décision finale (art. 90 LTF), prise en dernière instance cantonale et par le tribunal supérieur du canton de Genève (art. 75 al. 1 LTF) sur renvoi du Tribunal fédéral [dans une affaire civile de nature pécuniaire (art. 72 al. 1 LTF), dont la valeur litigieuse est supérieure à 30'000 fr. (art. 51 al. 1 let. a et al. 4, 74 al. 1 let. b LTF)]. Il a de plus été interjeté en temps utile (art. 100 al. 1 LTF) et en la forme prévue par la loi (art. 42 LTF), par la partie qui a succombé dans ses conclusions prises devant l'autorité précédente et qui a par conséquent la qualité pour recourir (art. 76 al. 1 LTF). Il y a donc lieu, en principe, d'entrer en matière sur le recours.
2. 2.1 Le principe de l'autorité de l'arrêt de renvoi, que prévoyait expressément l'art. 66 al. 1 aOJ, demeure applicable sous la LTF (ATF 135 III 334 consid. 2; cf. infra consid. 4.1). Il en résulte que les considérants de l'arrêt de renvoi lient les parties et le Tribunal fédéral lui-même. Celui-ci ne peut pas se fonder sur des considérations qu'il avait écartées ou dont il avait fait abstraction dans sa précédente décision (ATF 111 II 94 consid. 2). Quant aux parties, elles ne peuvent plus faire valoir, dans un nouveau recours contre la nouvelle décision cantonale, des moyens que le Tribunal fédéral avait expressément rejetés dans l'arrêt de renvoi (ATF 133 III 201 consid. 4.2) ou qu'il n'avait pas eu à examiner, faute pour les parties de les avoir invoqués dans la première procédure de recours, alors qu'elles pouvaient - et devaient - le faire (arrêt 2C_184/2007 du 4 septembre 2007, consid. 3.1; ATF 111 II 94 consid. 2); elles ne peuvent pas non plus prendre des conclusions dépassant celles prises dans leur précédent recours devant le Tribunal fédéral (arrêt 5A_580/2010 du 9 novembre 2010 consid. 4.3 et les références citées).
Dans ces limites, un (nouveau) recours en matière civile peut être formé pour violation du droit fédéral (art. 95 let. a LTF), y compris les droits constitutionnels (ATF 134 III 379 consid. 1.2). S'il entend soulever ce dernier grief, le recourant doit exposer en quoi consiste la violation alléguée, c'est-à-dire discuter les motifs de la décision entreprise et indiquer en quoi il estime que l'autorité précédente a méconnu ses droits constitutionnels ("principe d'allégation"; art. 106 al. 2 LTF; ATF 134 I 83 consid. 3.2; 133 II 249 consid. 1.4.2; 133 IV 286 consid. 1.4). Sous réserve des hypothèses visées à l'art. 95 let. c et d LTF, la violation du droit cantonal n'est pas un motif de recours; il est néanmoins possible de faire valoir que la mauvaise application du droit cantonal est arbitraire, au sens de l'art. 9 Cst., ou contraire à un autre droit constitutionnel (ATF 133 III 462 consid. 2.3).
2.2 Par ailleurs, le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente (art. 105 al. 1 LTF). Il ne peut s'en écarter que si ces faits ont été établis de façon manifestement inexacte - ce qui correspond à la notion d'arbitraire (ATF 137 I 58 consid. 4.1.2; 136 II 304 consid. 2.4) - ou en violation du droit au sens de l'art. 95 LTF (art. 105 al. 2 LTF). La correction du vice doit en outre être susceptible d'influer sur le sort de la cause (art. 97 al. 1 in fine LTF). S'agissant de l'appréciation des preuves et de la constatation des faits, il y a arbitraire lorsque l'autorité ne prend pas en compte, sans aucune raison sérieuse, un élément de preuve propre à modifier la décision, lorsqu'elle se trompe manifestement sur son sens et sa portée, ou encore lorsque, en se fondant sur les éléments recueillis, elle en tire des constatations insoutenables (ATF 136 III 552 consid. 4.2; 135 V 2 consid. 1.3; 134 I 140 consid. 5.4). Le recourant doit expliquer de manière circonstanciée en quoi ces conditions seraient réalisées, faute de quoi il n'est pas possible de tenir compte d'un état de fait divergeant de celui qui est contenu dans l'acte attaqué. En particulier, le Tribunal fédéral n'entre pas en matière sur des critiques appellatoires (ATF 135 III 397 consid. 1.4).
3. 3.1 En vertu de l'arrêt de renvoi du Tribunal fédéral (arrêt 5A_290/2010 du 28 octobre 2010), la cour cantonale devait prendre une nouvelle décision sur trois points: premièrement, le revenu hypothétique de l'intimée, dans son principe et son montant et, en conséquence, la prise en compte, ou non, dans ses charges de cotisations AVS et/ou de frais de transport professionnels, deuxièmement, le montant du revenu hypothétique de la seconde épouse du recourant et, troisièmement, le point de départ de la modification du jugement de divorce.
3.2 En substance, la cour cantonale a tranché la première de ces questions en ce sens que l'intimée, âgée de 61 ans et sans formation professionnelle, ne pouvait plus accomplir d'activité lucrative et que, en conséquence, il fallait intégrer dans ses charges sa cotisation AVS de 260 fr.; la seconde, en ce sens que l'épouse du recourant pouvait réaliser un revenu de 528 fr. net par mois en gardant des enfants, au tarif horaire de 15 fr. conseillé par l'Université de Genève à ses étudiants et à raison de 10 heures par semaine; la troisième, en ce sens que la modification du jugement devait prendre effet dès le dépôt de la demande, l'intimée devant s'attendre à une réduction de sa pension dès le début de la procédure. Pour fixer la contribution d'entretien de l'intimée à 3'500 fr., la cour cantonale a en outre tenu compte de la fortune immobilière du recourant. Elle a jugé qu'on pouvait attendre de ce dernier qu'il grève la villa qu'il louait à sa fille, acquise par succession après le divorce, pour obtenir un emprunt de 200'000 fr. qui, compte tenu de l'amortissement et du paiement des intérêts, totalisant 5% par an, lui permettait de prélever un montant de 1'880 fr. par mois, du 22 mai 2008 au 30 avril 2014.
4. Dans son premier grief, le recourant reproche à l'autorité cantonale d'avoir violé le principe de l'autorité de l'arrêt de renvoi.
4.1 En vertu du principe de l'autorité de l'arrêt de renvoi (cf. supra consid. 2.1), l'autorité cantonale est tenue de fonder sa nouvelle décision sur les considérants de droit de l'arrêt du Tribunal fédéral. Le juge auquel la cause est renvoyée voit donc sa cognition limitée par les motifs de cet arrêt, en ce sens qu'il est lié par ce qui a été déjà tranché définitivement par le Tribunal fédéral (ATF 104 IV 276 consid. 3b; ATF 103 IV 73 consid. 1) et par les constatations de fait qui n'ont pas été attaquées devant celui-ci (ATF 104 IV 276 consid. 3d). Des faits nouveaux ne peuvent être pris en considération que sur les points qui ont fait l'objet du renvoi et dans la mesure où le droit de procédure applicable autorise leur introduction à ce stade de la procédure. Ces faits ne peuvent être ni étendus ni fixés sur une base juridique nouvelle (ATF 131 III 91 consid. 5.2).
4.1 En vertu du principe de l'autorité de l'arrêt de renvoi (cf. supra consid. 2.1), l'autorité cantonale est tenue de fonder sa nouvelle décision sur les considérants de droit de l'arrêt du Tribunal fédéral. Le juge auquel la cause est renvoyée voit donc sa cognition limitée par les motifs de cet arrêt, en ce sens qu'il est lié par ce qui a été déjà tranché définitivement par le Tribunal fédéral (ATF 104 IV 276 consid. 3b; ATF 103 IV 73 consid. 1) et par les constatations de fait qui n'ont pas été attaquées devant celui-ci (ATF 104 IV 276 consid. 3d). Des faits nouveaux ne peuvent être pris en considération que sur les points qui ont fait l'objet du renvoi et dans la mesure où le droit de procédure applicable autorise leur introduction à ce stade de la procédure. Ces faits ne peuvent être ni étendus ni fixés sur une base juridique nouvelle (ATF 131 III 91 consid. 5.2).
4.2 4.2.1 Le recourant reproche à l'autorité cantonale d'avoir violé le principe de l'autorité de l'arrêt de renvoi pour quatre motifs:
Tout d'abord, elle a fixé la contribution d'entretien à 3'500 fr., alors que, dans son recours en matière civile du 16 avril 2010, l'intimée a conclu à la confirmation du jugement de première instance, qui fixe cette contribution d'entretien à 3'000 fr. La cour cantonale ne pouvait donc pas statuer au-delà de ce montant.
Ensuite, la cour cantonale a, dans son premier arrêt du 12 mars 2010, fixé la contribution d'entretien sans prendre en compte sa fortune immobilière et l'intimée n'a pas critiqué ce point dans son recours en matière civile. Par ailleurs, le Tribunal fédéral a rejeté le grief de l'intimée, selon lequel il pourrait retirer un revenu plus important de la location de son immeuble. Dès lors, dans son arrêt sur renvoi, la cour cantonale ne pouvait pas fixer la pension en tenant compte d'un éventuel emprunt qu'il pourrait contracter sur son immeuble.
En outre, dans son premier arrêt, la cour cantonale a pris en compte des frais de transport à hauteur de 70 fr. dans ses charges et l'intimée n'a pas critiqué ce point devant le Tribunal fédéral. Partant, c'est à tort que la cour cantonale a omis de tenir compte de cette charge dans son budget.
Enfin, dans son recours en matière civile, il a reproché à l'autorité cantonale d'avoir rendu une décision arbitraire en constatant que l'intimée avait affecté la fortune reçue en liquidation du régime matrimonial à l'achat de sa maison et que ses revenus ne lui avaient pas permis de réaliser des économies significatives. Le Tribunal fédéral a laissé ouverte cette question. Partant, c'est à tort que la cour cantonale a affirmé que l'état de la fortune de l'intimée n'avait pas été contesté dans le cadre de la procédure fédérale et ne faisait donc pas partie des questions à trancher suite au renvoi.
4.2.2 A cette argumentation, l'intimée répond que les conclusions qu'elle a prises devant l'autorité cantonale dans sa réponse du 14 janvier 2011, après le renvoi par le Tribunal fédéral, sont identiques à celles de sa réponse en appel du 14 septembre 2009. Elle en déduit que la cour cantonale était en droit de lui accorder le montant de 3'500 fr. à titre de pension. Elle souligne aussi que, dans son arrêt de renvoi, le Tribunal fédéral a jugé que les juges cantonaux n'avaient pas violé le droit fédéral en retenant uniquement les charges strictement indispensables dans le budget des parties. Elle en déduit que l'autorité cantonale n'a pas outrepassé le cadre du renvoi en ne retenant pas dans ses calculs des frais de transports du recourant.
4.3 En l'espèce, l'instance précédente a violé le principe de l'autorité de l'arrêt de renvoi sur deux points: premièrement, dans son recours en matière civile du 16 avril 2010, l'intimée a conclu au versement d'une contribution d'entretien de 3'000 fr., en demandant la confirmation du jugement du 26 mai 2009 rendu en première instance. Elle ne pouvait donc pas prendre des conclusions supérieures à ce montant devant l'autorité de renvoi, au détriment du recourant (interdiction de la reformatio in pejus). Ainsi, les juges précédents ne pouvaient pas accorder à l'intimée une contribution d'entretien supérieure, de 3'500 fr., et aggraver ainsi la position juridique du recourant. Secondement, dans son premier arrêt sur appel du 12 mars 2010, l'autorité cantonale a ajouté aux charges indispensables du recourant le montant de 70 fr. à titre d'abonnement aux transports publics; la raison était qu'en ayant à charge deux enfants mineurs, ce dernier devait pouvoir se déplacer régulièrement. L'intimée n'a soulevé aucun grief devant le Tribunal fédéral sur ce point. Partant, c'est à tort que l'autorité cantonale a soustrait ce montant du budget du recourant pour rendre sa nouvelle décision.
En revanche, l'instance précédente n'a pas violé le principe de l'autorité de l'arrêt de renvoi sur les deux autres points que le recourant invoque. Premièrement, la cour cantonale était en droit d'examiner si le recourant devait mettre à contribution sa fortune pour verser la contribution d'entretien. Dans son arrêt de renvoi, le Tribunal fédéral a uniquement tranché qu'il n'était pas arbitraire de considérer que le recourant ne pouvait pas retirer un revenu mensuel supérieur à 900 fr. de la location de son immeuble, pour des motifs tenant au droit du bail. En revanche, il n'a pas exclu que le recourant puisse tirer autrement profit de cet immeuble. Bien au contraire, il a expressément jugé qu'on ne pouvait suivre le recourant dans sa détermination de son disponible car il "n'intégr[ait] pas dans ses calculs les deux immeubles dont il était propriétaire" (cf. arrêt 5A_290/2010 consid. 8 in fine). Sur ce point, l'autorité cantonale était donc libre dans sa décision. Quant à la critique du recourant selon laquelle la cour cantonale serait revenue sur sa propre appréciation en considérant qu'il s'était mis volontairement dans l'impossibilité d'obtenir un loyer plus élevé, elle est également infondée. Bien au contraire, dans son premier arrêt, la cour avait retenu que le loyer perçu constituait un "loyer de faveur", reprenant d'ailleurs les propres propos du recourant à cet égard (cf. arrêt du 12 mars 2010 p. 8). Elle avait toutefois décidé que le recourant ne pouvait pas demander de loyer plus élevé que l'actuel.
Secondement, la critique du recourant, qui soutient que la cour cantonale a considéré à tort que le cadre du renvoi lui interdisait d'instruire sur l'état de la fortune de l'intimée, est infondée. Dans son précédent recours en matière civile, le recourant s'est plaint seulement de l'appréciation arbitraire des preuves, et non de l'établissement lacunaire des faits, qui constitue une violation de la norme de droit matériel à l'application de laquelle servent les compléments de fait requis. A suivre sa critique, la cour cantonale avait donc, uniquement, mal apprécié les pièces présentes au dossier; en revanche, il ne se plaignait pas qu'une preuve offerte à l'appui d'un de ses allégués eût été refusée à tort. En outre, le recourant n'a pas non plus prétendu, en instance cantonale, alléguer des faits nouveaux sur la fortune de son épouse. Partant, c'est avec raison que la cour cantonale n'a pas complété l'instruction sur ce point.
5. S'agissant du revenu hypothétique de 528 fr. imputable à sa seconde épouse, le recourant se plaint d'arbitraire (art. 9 Cst.) dans l'application de la maxime des débats, consacrée à l'art. 126 al. 2 de l'ancienne loi de procédure civile genevoise (ci-après: aLPC/GE), ainsi que de la violation des art. 29 al. 2 Cst. et 8 CC. Il semble aussi invoquer l'arbitraire dans l'application du principe de disposition.
5.1 Les motifs que le recourant développe pour démontrer l'arbitraire dans l'application du droit cantonal ne concernent que le rassemblement des faits et des preuves, et non l'objet du procès. Le recourant se trompe donc manifestement sur le contenu du principe de disposition, qui ne lui est d'aucune aide. Par ailleurs, il ne présente aucune motivation détaillée à l'appui de la violation de l'art. 29 al. 2 Cst. En conséquence, ces deux griefs sont irrecevables (cf. supra consid. 2.1).
5.2 Pour le reste, le recourant soutient que la cour cantonale a retenu, en fait, que son épouse pouvait obtenir un revenu mensuel net de 528 fr. alors que, ni dans ses écritures de première instance, ni dans ses écritures d'appel, l'intimée, à qui la preuve de ce fait incombait en vertu de l'art. 8 CC, n'avait allégué un quelconque montant à titre de revenu hypothétique. Elle s'était limitée à prétendre que cette personne devait utiliser sa capacité de gain, sans chiffrer celle-ci. Ensuite, il soulève que la cour cantonale a tenu pour établi le salaire de 15 fr./heure allégué par l'intimée alors que ce montant n'était pas prouvé et qu'il l'avait lui-même contesté, en niant la possibilité pour son épouse de tirer un revenu quelconque d'une profession. Selon lui, la cour cantonale aurait aussi dû considérer comme tardif l'allégué de l'intimée sur ce salaire, car produit dans ses conclusions après renvoi de la cause par le Tribunal fédéral.
5.3 En l'espèce, l'intimée a certes allégué le tarif de 15 fr./heure lors de la reprise de la procédure devant l'instance cantonale, sans se prévaloir du caractère nouveau de ce fait. Toutefois, ce montant ressort d'informations disponibles à tout un chacun sur le site Internet de l'Université de Genève. Il s'agit ainsi d'un fait notoire qui n'avait ni à être allégué, ni à être prouvé (ATF 135 III 88 consid. 4.1 et les arrêts cités). La cour cantonale disposait de tous les éléments de fait nécessaires pour déterminer le salaire mensuel de l'épouse du recourant (soit le nombre d'heures que pouvait effectuer cette personne en fonction de son horaire de cours et du temps nécessaire à accomplir ses tâches éducatives et ménagères ainsi que le tarif horaire).
Partant, les griefs du recourant doivent tous être rejetés, pour autant qu'ils soient recevables.
6. Toujours en lien avec le revenu hypothétique imputé à son épouse, le recourant se plaint encore d'arbitraire dans l'établissement des faits (art. 9 Cst.) et de la violation de l'art. 129 CC.
6.1 Il soutient que, même si on retient que l'arrêt est conforme à l'art. 8 CC et au droit de procédure cantonal, la cour cantonale a établi de manière arbitraire que son épouse, âgée de 40 ans, peut s'absenter 10 heures par semaine de son foyer, alors qu'elle a deux enfants nés en 2003 et 2006, pour faire du baby-sitting en soirée notamment; à cela s'ajoute que la cour cantonale aurait omis à tort de prendre en considération la charge fiscale et les frais de transport qu'un tel revenu implique, si bien que le revenu devrait être arrêté à 250 fr. au maximum. En outre, la cour cantonale a violé l'art. 129 CC en considérant qu'on peut raisonnablement exiger de son épouse qu'elle s'absente 40 heures par mois de son foyer.
6.2 En l'espèce, les griefs du recourant doivent tous être rejetés, pour autant qu'ils soient recevables.
6.2.1 S'agissant de la capacité de gain de l'épouse du recourant, le Tribunal fédéral a, dans son arrêt de renvoi, définitivement jugé qu'on pouvait raisonnablement imputer un revenu hypothétique à celle-ci (cf. arrêt 5A_290/2010 consid. 6.2); le recourant ne peut donc à nouveau soulever ce moyen de droit dans le présent recours (cf supra consid. 2.1).
6.2.2 Pour ce qui est de la possibilité concrète pour l'épouse de travailler 10 heures par semaine et de gagner 528 fr. par mois, la critique de fait présentée par le recourant est purement appellatoire (cf. supra consid. 2.2). Il ne fait qu'opposer son propre point de vue à l'argumentation de la cour cantonale, sans expliquer pourquoi l'appréciation de cette dernière qui, outre du tarif de 15 fr./heure, a tenu compte du temps nécessaire à l'épouse pour accomplir ses études, de la disponibilité du recourant qui, retraité, peut s'occuper des tâches ménagères et éducatives, de l'âge de l'épouse ainsi que de sa précédente activité de maman de jour, serait arbitraire.
6.2.3 Enfin, au sujet de la charge fiscale supportée par son épouse, le recourant ne prétend pas avoir soulevé cette critique dans son précédent recours, alors qu'un revenu hypothétique plus élevé, soit de 1'196 fr., avait déjà été imputé à son épouse (cf. supra consid. 2.1). Pour ce qui est des frais de transport supportés par celle-ci, le Tribunal fédéral a déjà tranché cette question dans son arrêt de renvoi en jugeant qu'il ne fallait pas prendre en considération cette charge (cf. arrêt 5A_290/2010 consid. 7), de sorte que le recourant ne peut plus soulever une nouvelle fois ce moyen dans le présent recours (cf. supra consid. 2.1).
7. Pour ce qui est de la situation financière de l'intimée, le recourant fait grief à l'autorité cantonale d'avoir violé l'art. 129 CC en recalculant celle-ci en fonction d'un revenu (hypothétique) inférieur à celui (effectif) que l'intimée gagnait au moment du divorce. En substance, il soutient que l'autorité cantonale aurait dû se limiter à examiner les faits nouveaux intervenus dans sa propre situation financière, sans recalculer celle de l'intimée.
En l'espèce, le Tribunal fédéral a précisément renvoyé la cause à l'autorité cantonale pour qu'elle examine en fait et en droit si on pouvait imputer un revenu hypothétique à l'intimée et, le cas échéant, dans quelle profession et à hauteur de quel montant. Partant, le recourant ne peut plus, dans le présent recours, argumenter que la question du revenu hypothétique de l'intimée ne doit pas être examinée (cf. supra consid. 2.1).
8. Ensuite, le recourant fait grief à l'autorité cantonale d'avoir violé l'art. 129 CC et d'avoir établi les faits de manière arbitraire (art. 9 Cst.), en renonçant à imputer à l'intimée un revenu hypothétique résultant d'une activité lucrative, en sus du revenu hypothétique de 700 fr. résultant de la location de son entrepôt.
8.1 Il prétend tout d'abord que la cour cantonale a suivi à tort les allégués de l'intimée sur son expérience professionnelle, qui est, selon lui, bien plus étendue que celle retenue. Ensuite, le recourant soutient que la cour cantonale aurait dû se placer, pour apprécier la capacité de gain de l'intimée, au jour du dépôt de l'action, lorsque l'intimée était âgée de 58 ans, et non au jour du prononcé de son arrêt, lorsqu'elle était âgée de 61 ans. Enfin, il explique qu'il est arbitraire et contraire à l'égalité des époux de considérer qu'une femme de 58 ans, sans aucune charge de famille, trilingue et vivant seule ne pourrait pas déployer la même activité de baby-sitting que sa propre épouse, sur un temps de travail plus étendu (40 heures/semaine), afin d'obtenir un gain net de 2'112 fr.
8.1 Il prétend tout d'abord que la cour cantonale a suivi à tort les allégués de l'intimée sur son expérience professionnelle, qui est, selon lui, bien plus étendue que celle retenue. Ensuite, le recourant soutient que la cour cantonale aurait dû se placer, pour apprécier la capacité de gain de l'intimée, au jour du dépôt de l'action, lorsque l'intimée était âgée de 58 ans, et non au jour du prononcé de son arrêt, lorsqu'elle était âgée de 61 ans. Enfin, il explique qu'il est arbitraire et contraire à l'égalité des époux de considérer qu'une femme de 58 ans, sans aucune charge de famille, trilingue et vivant seule ne pourrait pas déployer la même activité de baby-sitting que sa propre épouse, sur un temps de travail plus étendu (40 heures/semaine), afin d'obtenir un gain net de 2'112 fr.
8.2 8.2.1 Lorsque le recourant entend faire compléter les faits - pertinents et qui n'auraient pas été constatés en violation du droit -, il doit les désigner avec précision en se référant aux pièces du dossier; le complètement suppose en effet que les allégations de fait correspondantes aient été introduites régulièrement et en temps utile dans la procédure cantonale, qu'elles aient été considérées à tort comme dépourvues de pertinence ou aient été simplement ignorées; si ces exigences ne sont pas respectées, les faits invoqués sont réputés nouveaux (art. 99 al. 1 LTF), partant irrecevables (arrêt 5A_338/2010 du 4 octobre 2010 consid. 3.2 et les références citées, publié in SJ 2011 I 185).
8.2.2 En l'espèce, s'agissant de l'établissement des faits concernant l'expérience professionnelle de l'intimée, le recourant invoque des éléments non retenus en instance cantonale, au sujet desquels il ne tente pas de démontrer qu'ils auraient été écartés alors qu'il les avait dûment allégués et offert de prouver. Partant, le grief doit être déclaré irrecevable, en vertu de l'art. 99 al. 1 LTF.
8.2.2 En l'espèce, s'agissant de l'établissement des faits concernant l'expérience professionnelle de l'intimée, le recourant invoque des éléments non retenus en instance cantonale, au sujet desquels il ne tente pas de démontrer qu'ils auraient été écartés alors qu'il les avait dûment allégués et offert de prouver. Partant, le grief doit être déclaré irrecevable, en vertu de l'art. 99 al. 1 LTF.
8.3 8.3.1 De jurisprudence constante, une décision est arbitraire lorsqu'elle est manifestement insoutenable, méconnaît gravement une norme ou un principe juridique clair et indiscuté, ou heurte de manière choquante le sentiment de la justice et de l'équité; il ne suffit pas qu'une autre solution paraisse concevable, voire préférable; pour que cette décision soit censurée, encore faut-il qu'elle se révèle arbitraire, non seulement dans ses motifs, mais aussi dans son résultat (ATF 137 I 1 consid. 2.4; 136 I 316 consid. 2.2.2; 133 I 149 consid. 3.1).
8.3.2 Pour toute critique sur la possibilité effective de l'intimée de réaliser un revenu, le recourant procède à une comparaison entre la situation de l'intimée et celle de son épouse. Il soutient que celle-ci peut, comme celle-là, réaliser un revenu en faisant du baby-sitting. Purement appellatoire, l'argumentation du recourant est irrecevable (cf. consid. 2.2).
8.3.3 Pour le reste, il n'y a pas lieu d'examiner si la cour cantonale aurait dû se placer au moment de l'introduction de la requête en modification, au lieu de celui de la décision sur appel, pour déterminer si on peut raisonnablement attendre de l'intimée qu'elle se réinsère professionnellement. Qu'on se place au moment où l'intimée avait 58 ou 61 ans, le recourant ne parviendrait pas à démontrer, en fait, qu'il est arbitraire de retenir que l'intimée ne peut plus obtenir de revenu d'une activité lucrative. Le grief doit être rejeté.
9. Le recourant se plaint d'arbitraire, au sens de l'art. 9 Cst., dans l'application de la maxime des débats, consacrée en droit de procédure cantonal à l'art. 126 al. 2 LPC/GE, dans la fixation de ses charges incompressibles. Il invoque également l'arbitraire dans l'application du principe de disposition; pour les mêmes raisons qu'invoquées au sujet du revenu hypothétique imputable à son épouse, son grief est, à cet égard, irrecevable (cf. supra consid. 5.1).
9.1 Il reproche à la cour cantonale d'avoir refusé de prendre en considération dans ses charges les postes suivants, que l'intimée avait, selon lui, pourtant admis dans sa réponse à l'appel du 14 septembre 2009: l'assurance-maladie complémentaire par 186 fr. 10, les frais médicaux non couverts par 85 fr. 95, l'assurance-vie des enfants par 62 fr. 65, les frais de transports par 250 fr., le 3ème pilier A par 531 fr. et l'assurance bâtiment par 76 fr.
9.2 Comme il a été tranché ci-dessus (cf. supra consid. 4.3), le montant de 70 fr. correspondant, selon les constatations de l'arrêt du 12 mars 2010, à un abonnement aux transports publics doit être ajouté aux charges du recourant. Pour le reste, dans son premier arrêt du 12 mars 2010, la cour cantonale n'avait retenu aucun des postes précités, précisant qu'il convenait de s'en tenir aux charges usuelles nécessaires. Dans son premier recours en matière civile, le recourant s'était déjà plaint de ce que ces postes avaient été ignorés. Or, le Tribunal fédéral a rejeté ce grief dans son arrêt de renvoi (cf. arrêt 5A_290/2010 du 28 octobre 2010 consid. 7). Partant, le recourant ne peut plus l'invoquer dans le présent recours; le grief est irrecevable (cf. supra consid. 2.1).
10. S'agissant du montant de 1'880 fr., provenant de sa fortune immobilière, que la cour cantonale lui a imputé à titre de revenu supplémentaire, le recourant reproche tout d'abord à cette dernière d'avoir violé son droit d'être entendu, consacré à l'art. 29 al. 2 Cst., en ne lui donnant l'occasion de se déterminer ni sur les faits ayant conduit à lui imputer ce montant, ni sur l'argumentation juridique que ceux-ci impliquent.
10.1 Le droit d'être entendu, tel qu'il est garanti à l'art. 29 al. 2 Cst., comprend notamment le droit pour l'intéressé de s'exprimer sur les éléments pertinents avant qu'une décision ne soit prise touchant sa situation juridique, de produire des preuves, d'obtenir qu'il soit donné suite à ses offres de preuves pertinentes, de participer à l'administration des preuves essentielles ou à tout le moins de s'exprimer sur son résultat, lorsque cela est de nature à influer sur la décision à rendre (ATF 129 II 497 consid. 2.2; 127 I 54 consid. 2b; 124 I 48 consid. 3a et les arrêts cités). Selon la jurisprudence, le juge n'a pas, en revanche, à soumettre à la discussion des parties les principes juridiques sur lesquels il va fonder son jugement (ATF 126 I 97 consid. 2b, 19 consid. 2c). En vertu de la règle jura novit curia, il n'est en principe pas lié par les moyens de droit développés par les parties. Le juge peut ainsi appliquer d'office, sans avoir à attirer préalablement l'attention des parties sur l'existence de tel ou tel problème de droit, une autre disposition de droit matériel pour allouer les conclusions du demandeur (arrêt 4P.277/1998 du 22 février 1999, publié in RSDIE 2000 575, consid. 3d; arrêt 4P.7/1998 du 17 juillet 1998 consid. 2a/bb). Le juge n'a pas non plus à aviser spécialement une partie du caractère décisif d'un élément de fait sur lequel il s'apprête à fonder sa décision, pour autant que celui-ci ait été allégué et prouvé selon les règles (ATF 126 I 97 consid. 2b; 19 consid. 2c; 108 Ia 293 consid. 4c). La jurisprudence aménage toutefois une exception au principe jura novit curia lorsque le juge s'apprête à fonder sa décision sur une norme ou un principe juridique non évoqué dans la procédure antérieure et dont aucune des parties en présence ne s'est prévalue et ne pouvait supputer la pertinence in casu (arrêt 5A_795/2009 du 10 mars 2010 consid. 3.1, non publié in ATF 136 III 123).
10.2 En l'espèce, la fixation d'une contribution d'entretien en fonction de la fortune n'a rien d'imprévisible. Tout débirentier dont le revenu effectif est, comme en l'espèce, insuffisant à couvrir les besoins du crédirentier doit s'attendre à ce que le juge se penche sur cette question. Pour ce qui est des faits, l'autorité cantonale s'est fondée sur la composition de la fortune immobilière du recourant, puis a évalué à hauteur de quel montant ce dernier pouvait l'hypothéquer. Le recourant n'explique pas sur lequel de ces faits il n'aurait pas pu se déterminer avant que la cour cantonale ne statue. Ainsi, le grief doit être rejeté.
11. En lien avec le montant de 1'880 fr., provenant de sa fortune immobilière, que la cour cantonale lui a imputé à titre de revenu supplémentaire, le recourant se plaint de la violation de l'art. 129 CC. Il soutient que, comme il a acquis la villa en cause par succession, on ne peut attendre de lui qu'il hypothèque cet immeuble. Le raisonnement de la cour revient à lui imposer de s'endetter, ce qu'on ne peut pas raisonnablement attendre de lui. Par ailleurs, vu que les parties savaient déjà au moment du divorce que ce bien immobilier lui reviendrait à terme, on ne peut, selon lui, en tenir compte lors de la modification du jugement de divorce.
11.1
11.1.1 Selon l'art. 129 al. 1 CC, la modification de la contribution d'entretien après divorce suppose que des faits nouveaux importants et durables interviennent dans la situation financière d'une des parties, qui commandent une réglementation différente. La procédure de modification n'a en effet pas pour but de corriger le premier jugement, mais de l'adapter aux circonstances nouvelles. Le fait revêt un caractère nouveau lorsqu'il n'a pas été pris en considération pour fixer la contribution d'entretien dans le jugement de divorce. Il n'est donc pas décisif qu'il ait été imprévisible à ce moment-là. On présume néanmoins que la contribution d'entretien a été fixée en tenant compte des modifications prévisibles, soit celles qui, bien que futures, sont déjà certaines ou fort probables (ATF 131 IIII 189 consid. 2.7.4; arrêt 5A_93/2011 du 13 septembre 2011 consid. 6.1; 5A_845/2010 du 12 avril 2011 consid. 4.1). Une fois la condition du fait nouveau remplie, le juge doit alors fixer la nouvelle contribution d'entretien, sur la base des critères de l'art. 125 CC, en faisant usage de son pouvoir d'appréciation (art. 4 CC; ATF 127 III 136 consid. 3a; arrêts 5A_241/2010 du 9 novembre 2010 consid. 4; 5C.112/2005 du 4 août 2005 consid. 1, publié in FamPra.ch 2006 149), après avoir actualisé tous les éléments pris en compte pour le calcul dans le jugement précédent. Pour que le juge puisse procéder à cette actualisation, il n'est pas nécessaire que la modification survenue dans ces autres éléments constitue également un fait nouveau, au sens de l'art. 129 al. 1 CC (cf. dans ce sens au sujet de la modification de la contribution d'entretien due à un enfant, ATF 137 III 604 consid. 4.1.2).
11.1.2 Lorsqu'il fixe le montant et la durée de la contribution d'entretien après divorce, le juge doit tenir compte des critères énumérés non exhaustivement à l'art. 125 al. 2 CC, en particulier de la fortune des époux. Si les revenus (du travail et de la fortune) des époux suffisent à leur entretien, la substance de la fortune n'est normalement pas prise en considération (ATF 137 III 102 consid. 4.2.1.1; arrêt 5A_507/2011 du 31 janvier 2012 consid. 4.4). Mais, dans le cas contraire, rien ne s'oppose à ce que l'entretien soit assuré par la fortune, le cas échéant même par les biens propres, la loi elle-même plaçant formellement les revenus et la fortune sur un pied d'égalité (art. 125 al. 2 ch. 5 CC; ATF 134 III 581 consid. 3.3 et les références citées). Ainsi, la jurisprudence a déjà admis qu'on peut exiger du débirentier qui n'a pas d'activité lucrative et dont le revenu de la fortune ne permet pas de couvrir l'entretien du couple, d'entamer la substance de son imposante fortune pour assurer à son épouse la couverture du minimum vital élargi (arrêt 5A_14/2008 du 28 mai 2008 consid. 5, publié in FamPra.ch 2009 206; cf. aussi arrêt 5P.472/2006 du 15 janvier 2007 consid. 3.2, publié in FamPra.ch 2007 396).
11.1.3 La même règle doit, a fortiori, valoir lors de la modification de la contribution d'entretien au sens de l'art. 129 CC. Dès lors, si les revenus du travail et de la fortune ne suffisent plus pour maintenir le train de vie auquel chaque époux pouvait prétendre selon le jugement de divorce, le juge peut imposer au débirentier d'utiliser la substance de sa fortune pour continuer à servir la contribution à laquelle il a précédemment été condamné, même si les époux n'utilisaient pas cette fortune pour leur entretien avant la séparation.
11.2 En l'espèce, la cour n'a pas abusé de son pouvoir d'appréciation en jugeant qu'on peut raisonnablement imposer au recourant de mettre en gage son immeuble à hauteur de 200'000 fr. durant six ans pour verser ainsi une contribution d'entretien à l'intimée permettant à cette dernière de couvrir son minimum vital LP et ses charges strictement nécessaires. Même si, de la sorte, l'intimée bénéficie d'un bien dont le recourant n'était pas propriétaire au moment du divorce, cette solution se justifie en procédure de modification du jugement de divorce; la cour cantonale était en droit de tenir compte de cet élément de fortune nouvellement acquis pour compenser la diminution des revenus du recourant. En se contentant de soutenir de manière toute générale qu'on ne peut pas lui imposer de s'endetter, le recourant ne démontre pas que la cour cantonale a abusé de son pouvoir d'appréciation en estimant qu'en hypothéquant son bien à hauteur de 200'000 fr., il pouvait supporter les intérêts de cette dette ainsi que l'amortissement (usuel), jusqu'en 2014. Le recourant ne peut pas non plus être suivi lorsqu'il semble prétendre que, son droit futur à la succession étant déjà connu au moment du jugement de divorce, on ne pourrait pas en tenir compte dans la procédure en modification. A l'époque du divorce, les revenus du recourant étaient plus importants et ses charges moindres qu'actuellement; le recourant était donc en mesure de verser une pension à l'intimée grâce à ses seuls revenus, sans qu'il y eût lieu de prendre sa fortune en considération. Le grief doit donc être rejeté.
12. S'en prenant encore au montant de 1'880 fr., le recourant se plaint ensuite de la violation de l'art. 9 Cst. dans l'application de la maxime des débats, consacrée à l'art. 126 aLPC/GE. Il soutient que la cour cantonale a violé cette maxime en lui imputant un montant tiré de sa fortune alors que l'intimée n'a ni allégué ni démontré qu'il était possible pour lui de retirer 2'777 fr. en hypothéquant sa villa.
12.1 Dans un procès soumis à la maxime des débats, s'il incombe aux parties d'alléguer et de prouver les fait justifiant leurs conclusions, il appartient en revanche au juge, qui applique le droit d'office, de rechercher la règle de droit matériel abstraite applicable à ces faits et d'en tirer les conséquences juridiques sur la prétention réclamée par le demandeur; à cet égard, il n'est pas limité par l'argumentation des parties et peut se fonder sur tous les éléments de fait qui se trouvent dans le cadre du procès, peu importe la partie qui les a allégués et prouvés (cf. dans ce sens, arrêt 5A_413/2009 du 2 février 2010 consid. 6, non publié in ATF 136 III 269; 4A_491/2010 du 30 août 2011 consid. 2.3, non publié in ATF 137 III 455; FABIENNE HOHL, Procédure civile, tome I, 2001, n°874 et 877).
12.2 En l'espèce, il appartenait à l'autorité cantonale d'examiner d'office si on pouvait attendre du recourant qu'il mette à contribution sa fortune, même si l'intimée n'avait pas soulevé cette argumentation juridique pour fonder sa prétention. Contrairement à ce que semble croire le recourant, ce faisant, elle a appliqué une règle de droit. Par ailleurs, l'autorité cantonale avait tous les éléments pour déterminer, en fait, si le recourant avait la possibilité effective de mettre à contribution sa fortune, ainsi que le montant qu'il pouvait en tirer. En effet, il ressortait du dossier que ce dernier était propriétaire de deux villas, dont l'une non hypothéquée, de 115 m2, sise sur une parcelle de 2'578 m2 à Y._, dont la valeur fiscale était de 1'260'000 fr. Contrairement à ce que soutient le recourant, la maxime des débats n'imposait pas à l'intimée d'alléguer et de démontrer le montant de 1'880 fr.; il suffisait que les faits permettant d'établir ce montant fussent établis en procédure. Le grief de l'art. 9 Cst. doit donc être rejeté.
13. Pour ce qui est des revenus du recourant, il sied en outre de préciser que la cour cantonale s'est manifestement trompée (art. 105 al. 2 LTF) en fixant les rentes totales nettes perçues par ce dernier à 6'519 fr. 65, dont un "pont AVS" de 1'076 fr. (cf. arrêt attaqué p. 4). En effet, il ressort du précédent arrêt cantonal du 12 mars 2010, sans que cela ait été contesté devant le Tribunal fédéral, que ce pont a augmenté à 1'100 fr. dès 2009 et que les rentes totales nettes du recourant sont de 6'543 fr. 65 (cf. arrêt du 12 mars 2010 p. 5).
14. Dans un dernier grief, le recourant se plaint encore une fois de la violation de l'art. 129 CC, reprochant à l'autorité cantonale la méthode qu'elle a appliquée pour réduire la contribution d'entretien.
14.1 En substance, il soutient qu'on peut déduire de l'arrêt 5C.197/2003 du 30 avril 2004 que, pour fixer la nouvelle pension, il faudrait comparer le disponible qu'avait le débirentier au moment du jugement de divorce avec celui qui est le sien au moment du jugement de modification, fixer en pourcentage la diminution de ce disponible, puis réduire la contribution d'entretien en fonction de ce pourcentage.
14.2 Comme dit précédemment, lorsque le juge fixe à nouveau la contribution d'entretien au sens de l'art. 129 CC, il fait usage de son pouvoir d'appréciation, comme lorsqu'il procède selon l'art. 125 CC (cf. supra consid. 11.1.1). Dans l'arrêt 5C.197/2003, le Tribunal fédéral n'en a pas jugé autrement et n'a imposé aucune méthode schématique pour réduire la contribution d'entretien. Il a seulement relevé qu'on pouvait déduire de l'ATF 108 II 30 consid. 8 que la proportion entre la capacité financière du débirentier et la contribution d'entretien prévalant au moment du jugement de divorce doit être maintenue lorsqu'un des époux s'est obligé envers l'autre à verser une rente plus élevée que celle que lui aurait imposée la loi, notamment dans le but d'accélérer la procédure du divorce en obtenant un accord (consid. 4.1 de l'arrêt précité).
Partant, le grief du recourant, qui entend faire réduire la contribution d'entretien à hauteur d'un pourcentage déterminé en fonction de la diminution de son disponible doit être rejeté.
15. En tenant compte de la rectification du montant des rentes du recourant (cf. supra consid. 13) et de l'ajout, dans ses charges, de frais de transport de 70 fr. (cf. supra consid. 4.3), les revenus du recourant et de son épouse se montent au total à 9'851 fr. 65 (6'543 fr. 65 + 900 fr. + 1'880 fr. + 528 fr.) et leurs charges à 5'732 fr. 30 (5'662 fr. 30 + 70 fr.) jusqu'à fin 2009, puis à 5'912 fr. 30 (5'842 fr. 30 + 70 fr.). Le disponible du recourant est donc de 4'119 fr. 35 jusqu'à fin 2009, puis de 3'939 fr. 35. Quant à l'intimée, elle subit, selon les constatations de l'arrêt attaqué, un découvert de 3'370 fr. 10 par mois jusqu'au 31 décembre 2009, puis de 3'490 fr. 10 par mois. En vertu de l'interdiction de la reformatio in pejus, elle ne peut pas obtenir un montant supérieur à 3'000 fr., correspondant aux conclusions qu'elle a prises dans son recours en matière civile dans la cause 5A_290/2010 (cf. supra consid. 4.3). Partant, la contribution d'entretien sera fixée à ce montant.
16. En conclusion, le recours est partiellement admis, dans la mesure de sa recevabilité, l'arrêt attaqué annulé en conséquence et réformé dans ce sens que la contribution d'entretien est réduite à 3'000 fr. par mois du 22 mai 2008 au 30 avril 2014. Au vu du sort du litige et de la qualité des parties, il n'y a pas lieu de modifier la compensation des dépens des instances cantonales. Les frais judiciaires de l'instance fédérale, arrêtés à 3'000 fr., sont répartis entre les parties à raison de 2'500 fr. à charge du recourant et de 500 fr. à charge de l'intimée (art. 66 al. 1 LTF). Une indemnité de 2'500 fr., à payer à titre de dépens à l'intimée, est mise à la charge du recourant (art. 68 al. 1 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce:
1. Le recours est partiellement admis, dans la mesure de sa recevabilité et l'arrêt attaqué est réformé en ce sens que A._ est condamné à verser à dame A._ une contribution d'entretien de 3'000 fr. par mois du 22 mai 2008 au 30 avril 2014.
2. Les frais judiciaires, arrêtés à 3'000 fr., sont répartis entre les parties à raison de 2'500 fr. à charge du recourant et de 500 fr. à charge de l'intimée.
3. Une indemnité de 2'500 fr., à payer à titre de dépens à l'intimée, est mise à la charge du recourant.
4. Le présent arrêt est communiqué aux parties et à la Chambre civile de la Cour de justice du canton de Genève.
Lausanne, le 19 mars 2012
Au nom de la IIe Cour de droit civil
du Tribunal fédéral suisse
La Présidente: Hohl
La Greffière: Achtari

region: Federation

bge_label: critical


facts:
Faits:
A. Le 22 juin 2006, le Grand Conseil de la République et canton de Genève a partiellement validé l'initiative populaire intitulée "Fumée passive et santé" (IN 129). Celle-ci portait sur l'introduction, dans la Constitution genevoise (Cst./GE), d'un nouvel article 178B intitulé "Protection de l'hygiène publique et de la santé; Fumée passive". Tel qu'il a été validé, le texte de cette disposition était ainsi libellé:
Art. 178B
1 Vu l'intérêt public que constitue le respect de l'hygiène publique et la protection de la santé, le Conseil d'Etat est chargé de prendre des mesures contre les atteintes à l'hygiène et à la santé de la population résultant de l'exposition à la fumée du tabac, dont il est démontré scientifiquement qu'elle entraîne la maladie, l'invalidité et la mort.
2 Afin de protéger l'ensemble de la population, il est interdit de fumer dans les lieux publics intérieurs ou fermés, tout particulièrement dans ceux qui sont soumis à une autorisation d'exploitation.
3 Sont concernés:
a) tous les bâtiments ou locaux publics dépendant de l'Etat et des communes ainsi que toutes autres institutions de caractère public;
b) tous les bâtiments ou locaux ouverts au public, notamment ceux affectés à des activités médicales, hospitalières, para-hospitalières, culturelles, récréatives, sportives ainsi qu'à des activités de formation, de loisirs, de rencontres, d'exposition;
c) tous les établissements publics au sens de la législation sur la restauration, le débit de boissons et l'hébergement;
d) les transports publics et les autres transports professionnels de personnes;
e) les autres lieux ouverts au public tels que définis par la loi.
Par arrêt du 28 mars 2007 (cause 1P.541/2006, ATF 133 I 110), le Tribunal fédéral a rejeté le recours formé contre cette décision de validation. Laissant ouverte la question de savoir si le fait de fumer relevait de la liberté personnelle, il a notamment considéré que l'initiative poursuivait un but incontestable d'intérêt public; l'interdiction générale de fumer dans les lieux publics fermés devrait être assortie d'exceptions, en particulier pour les détenus et les pensionnaires d'établissements médicaux, ainsi que pour les lieux publics à usage privatif. Le Grand Conseil avait déjà envisagé de tels assouplissements dans la perspective de la législation d'application.
L'IN 129 a été acceptée en votation populaire le 24 février 2008, par près de 80% des votants.
B. Le 3 mars 2008, le Conseil d'Etat genevois a adopté un règlement d'exécution relatif à l'interdiction de fumer dans les lieux publics. Celui-ci a toutefois été annulé par arrêt du Tribunal fédéral du 5 décembre 2008, pour défaut de base légale (ATF 134 I 322).
C. Le 22 janvier 2009, le Grand Conseil genevois a adopté la loi sur l'interdiction de fumer dans les lieux publics (ci-après: LIF, RS/GE: K 1 18). Celle-ci reprend le principe de l'interdiction de fumer dans les lieux publics ou accessibles au public, intérieurs ou fermés (art. 2). Son champ d'application est défini de la manière suivante:
Art. 3 Champ d'application
L'interdiction concerne notamment:
a) les bâtiments et locaux publics dépendant de l'Etat et des communes ainsi que toutes autres institutions de caractère public;
b) les hôpitaux et les autres institutions de santé, au sens de la loi sur la santé, du 7 avril 2006;
c) les établissements de formation, les écoles et les garderies;
d) les bâtiments ou locaux dédiés à la culture, au sport, aux loisirs, aux rencontres et aux expositions;
e) les maisons de jeux;
f) les commerces, les centres commerciaux et les galeries marchandes;
g) les établissements d'exécution des peines et des mesures;
h) les véhicules de transports publics et les autres transports professionnels de personnes;
i) les établissements au sens de la loi sur la restauration, le débit de boissons et l'hébergement, du 17 décembre 1987.
La loi prévoit également les exceptions suivantes à son article 4:
Art. 4 Exceptions
Lieux privatifs
1 Des exceptions à l'interdiction de fumer peuvent être prévues pour les lieux à caractère privatif suivants, pour autant qu'ils soient isolés, ventilés de manière adéquate et désignés comme tels:
a) les fumoirs clos et correctement ventilés installés dans les établissements et lieux publics sont autorisés pour autant que ceux-ci soient isolés et qu'aucun service n'y soit effectué;
b) les cellules de détention et d'internement;
c) les chambres d'hôtels et d'autres lieux d'hébergement;
d) les chambres d'hôpitaux, de cliniques et d'autres lieux de soins, dans lesquels les patients séjournent de manière prolongée et dont ils ne peuvent aisément sortir compte tenu de leur état de santé.
2 L'exploitant ou le responsable de ces lieux soumet pour approbation au département en charge de la santé (ci-après: département) les modalités d'application des exceptions qu'il entend prévoir.
Cercles
3 Les cercles ne sont pas soumis à l'interdiction de fumer, pour autant qu'ils remplissent les conditions du droit fédéral.
Commerces spécialisés dans la vente de tabac
4 L'exploitant d'un lieu de vente spécialisé dans le domaine du tabac est autorisé à aménager un local de dégustation réservé aux clients consommateurs de tabac, à la condition qu'il soit isolé, ventilé de manière adéquate et désigné comme tel.
Aéroport international de Genève
5 L'Aéroport international de Genève est autorisé à exploiter un fumoir isolé dans la zone de transit, à la condition que le local soit ventilé de manière adéquate et désigné comme tel.
La LIF définit encore le rôle des exploitants (art. 6), les procédures de contrôle (art. 7) et les sanctions (art. 8). Une demande de référendum ayant abouti, la loi a été soumise au vote populaire. Elle a été acceptée, le 29 septembre 2009, par 81,7% des votants. Elle est entrée en vigueur le 31 octobre 2009, le lendemain de sa promulgation dans la Feuille d'avis officielle.
Le 7 octobre 2009, le Conseil d'Etat genevois a adopté le règlement d'application relatif à la LIF (ci-après: le RIF, RS/GE: K 1 18.01). Il comporte notamment les dispositions suivantes, s'agissant des exceptions à l'interdiction.
Art. 2 Approbation des modalités d'application des exceptions à l'interdiction de fumer
1 L'exploitant ou le responsable des lieux décrits à l'article 4, alinéa 1, de la loi soumet au préalable et par écrit à la direction générale la demande d'approbation des modalités d'aménagement du lieu à caractère privatif fumeur prévue par l'article 4, alinéa 2, de la loi.
2 Cette demande doit être accompagnée des plans d'aménagement, du descriptif du système de ventilation et de toutes les pièces permettant le contrôle du respect des prescriptions de la loi et du présent règlement.
3 La direction générale statue sur l'approbation de ces modalités d'aménagement.
4...
Art. 3 Conception des locaux fumeurs
1 Les locaux fumeurs au sein de lieux publics au sens des articles 4, alinéas 1, lettre a, 4 et 5 de la loi doivent:
a) être dotés de portes à fermeture automatique, être séparés hermétiquement des pièces contiguës et ne pas constituer un lieu de passage;
b) disposer d'un système de ventilation mécanique séparé de celui du reste du bâtiment; ce dernier doit permettre un renouvellement d'air minimal conformément à la norme SIA 382/1 et être entretenu régulièrement et conformément à l'état de la technique;
c) être maintenus en dépression continue d'au moins 5 pascals par rapport aux pièces communicantes, pendant les heures d'ouverture de l'établissement.
2 Dès la mise en service, leur exploitant doit être en mesure de produire sur toute réquisition de l'autorité compétente une attestation émanant d'un spécialiste en dispositifs de ventilation, certifiant que l'installation est conforme aux dispositions du présent article.
3 Les locaux fumeurs doivent être signalés, de manière visible, notamment à leur entrée.
D. Par acte du 30 octobre 2009, l'association genevoise Oxyromandie, Pascal Diethelm et Michel Starobinksi forment un recours en matière de droit public par lequel ils demandent l'annulation de l'art. 4 al. 1 let. a LIF.
Le Grand Conseil conclut à l'irrecevabilité du recours en tant qu'il est formé par Pascal Diethelm et l'Association Oxyromandie, et à son rejet en tant qu'il est formé par Michel Starobinski, subsidiairement au rejet de l'ensemble du recours.
Un deuxième échange d'écritures a eu lieu, au terme duquel les parties ont persisté dans leurs conclusions respectives.
E. La loi fédérale sur la protection contre le tabagisme passif, adoptée le 3 octobre 2008, est entrée en vigueur le 1er mai 2010 (RO 2009 6285). Elle s'applique notamment aux établissements d'hôtellerie et de restauration (art. 1 al. 2 let. h). Elle permet la création de locaux fumeurs spécialement aménagés, isolés des autres espaces, désignés comme tels et dotés d'une ventilation adéquate. Les employés ne peuvent pas y travailler, sauf autorisation exceptionnelle et avec l'accord de ceux-ci (art. 2 al. 2). Des établissements fumeurs peuvent aussi être autorisés (art. 3). Les cantons peuvent édicter des dispositions plus strictes pour la protection de la santé (art. 4).

considerations:
Considérant en droit:
1. Selon l'art. 82 let. b et c LTF, le Tribunal fédéral connaît des recours dirigés directement contre les actes normatifs cantonaux, ainsi que des recours concernant le droit de vote des citoyens. Les recourants s'appuient sur l'une et l'autre de ces dispositions.
1.1 Ils se plaignent d'une violation des dispositions sur le droit d'initiative (art. 34 Cst.), en reprochant au Grand Conseil de s'être écarté du texte de l'art. 178B Cst./GE, et d'avoir ainsi violé la volonté des auteurs de l'initiative populaire IN 129.
1.1.1 Le recours prévu à l'art. 82 let. c LTF permet à l'électeur de se plaindre d'une violation des dispositions cantonales légales et constitutionnelles qui définissent le contenu et l'étendue des droits politiques des citoyens (ATF 129 I 392 consid. 2.1 p. 394 et les références). La violation du droit de vote doit toutefois résulter directement de l'acte attaqué (ATF 130 I 226 consid. 1.2 p. 228; 123 I 41 consid. 6b p. 46 et les références; STEINMANN, Basler Kommentar BGG, n° 87 ad art. 82).
1.1.2 Les moyens soulevés dans le recours reviennent tous à affirmer que la loi ne respecterait pas la disposition constitutionnelle cantonale relative à l'interdiction de fumer dans les lieux publics. Un tel grief ne relève pas du recours pour violation des droits politiques. En effet, lorsqu'il est prétendu qu'une loi viole la constitution cantonale, il est toujours possible de reprocher au législateur d'avoir violé la volonté du constituant ou celle des auteurs du projet d'article constitutionnel. On peut également lui faire le reproche, dans certains cas, d'avoir fait l'économie d'une révision constitutionnelle soumise au référendum obligatoire. Cela ne saurait toutefois suffire pour permettre aux recourants d'agir par la voie de l'art. 82 let. c LTF, sans quoi la voie du recours pour violation du droit de vote serait ouverte chaque fois qu'un acte normatif en viole un autre, soumis à un régime différent du point de vue des droits politiques (ATF 131 I 386 consid. 2.2-2.3 et les arrêts cités). Dans la mesure où la norme attaquée n'a matériellement aucun rapport direct avec les votations ou les élections cantonales (cf. ATF 131 I 291 consid. 1.1; 130 I 226 consid. 1.2 p. 228; 123 I 41 consid. 6b p. 46 et les références), le recours fondé sur l'art. 82 let. c LTF est irrecevable. Les moyens soulevés relèvent exclusivement de l'art. 82 let. b LTF (ATF 131 I 386 consid. 2.3 p. 390).
1.2 Selon cette disposition, le recours en matière de droit public est ouvert contre les actes normatifs cantonaux. La loi attaquée ne peut, en droit genevois, faire l'objet d'aucun recours cantonal, de sorte que le recours est directement recevable (art. 87 al. 1 LTF).
1.2.1 Selon l'art. 101 LTF, le recours contre un acte normatif doit être interjeté dans un délai de 30 jours à compter de sa publication selon le droit cantonal. Lorsque la loi est soumise, comme en l'espèce, au référendum facultatif, ce délai commence à courir non pas avec sa publication en vue de l'exercice du droit de référendum, mais avec la publication de la décision de promulgation (ATF 133 I 286 consid. 1 p. 288 et les arrêts cités). En l'occurrence, les recourants ont agi en temps utile.
1.2.2 L'art. 89 al. 1 LTF confère la qualité pour former un recours en matière de droit public à quiconque est particulièrement atteint par la décision ou l'acte normatif attaqué (let. b) et a un intérêt digne de protection à son annulation ou à sa modification (let. c). Lorsque l'acte attaqué est un acte normatif, l'intérêt personnel requis peut être simplement virtuel; il suffit qu'il existe un minimum de vraisemblance que le recourant puisse se voir un jour appliquer les dispositions contestées. Un intérêt de fait est suffisant (ATF 134 I 269 consid. 2.1 non publié; 133 I 286 consid. 2.2 p. 290).
En l'occurrence, l'un des recourants au moins est domicilié dans le canton de Genève. Il est ainsi susceptible d'être touché par les effets de la réglementation attaquée, ce qui suffit pour admettre sa qualité pour agir (arrêt 1C_155/2008 du 5 septembre 2008, consid. 1.3 non publié in ATF 134 I 322). Il y a lieu d'entrer en matière, sans s'interroger sur la qualité pour agir des autres recourants (soit un citoyen suisse domicilié en France voisine et une association de prévention du tabagisme).
2. Les recourants s'en prennent uniquement à l'art. 4 al. 1 let. a LIF, en tant qu'il prévoit l'introduction de fumoirs en particulier dans les restaurants. Cette disposition, ajoutée lors des débats parlementaires, irait à l'encontre de l'art. 178B Cst./GE, dont le but est l'interdiction complète de la fumée dans les lieux publics. Dans son arrêt concernant l'IN 129 (ATF 133 I 110), le Tribunal fédéral avait relevé que des exceptions devaient être aménagées afin de respecter le principe de la proportionnalité, mais uniquement pour les lieux à caractère privatif. L'objectif de santé publique poursuivi par la disposition constitutionnelle serait ainsi compromis. Les recourants invoquent, sur ce point également, le principe de la légalité (hiérarchie des normes), le cas échéant en relation avec celui de la séparation des pouvoirs, ainsi que l'interdiction de l'arbitraire.
2.1 Selon l'art. 95 LTF, le recours peut être formé pour violation du droit fédéral - y compris le droit constitutionnel (let. a).
A juste titre, les recourants ne se prévalent pas de la loi fédérale du 3 octobre 2008 sur la protection contre le tabagisme passif (RO 2009 6285), entrée en vigueur le 1er mai 2010. Les dispositions qu'elle contient prévoient en effet expressément la création de locaux fumeurs "isolés des autres espaces, désignés comme tels et dotés d'une ventilation adéquate" (art. 2), ainsi que des autorisations d'établissements fumeurs aux restaurants remplissant certaines conditions (art. 3). L'art. 178B Cst./GE fait ainsi partie des dispositions plus strictes que les cantons peuvent adopter, conformément à l'art. 4 de la loi fédérale.
2.2 S'agissant du droit cantonal, le recours peut être formé pour violation "de droits constitutionnels cantonaux" (art. 95 let. c LTF), de dispositions sur le droit de vote et sur les élections et votations (let. d) ainsi que du droit intercantonal (let. e). Le législateur a entendu maintenir le principe selon lequel, afin de préserver l'autonomie cantonale, il n'appartient pas au Tribunal fédéral de contrôler l'interprétation ou l'application de l'ensemble du droit constitutionnel cantonal, mais seulement des droits fondamentaux (Message LTF, FF 2001 4133). La notion de droits constitutionnels cantonaux, au sens de l'art. 95 let. c LTF (ou de l'art. 116 LTF, concernant le recours constitutionnel subsidiaire) ne s'étend donc pas à n'importe quelle disposition constitutionnelle cantonale, mais seulement à celles qui garantissent des droits individuels aux citoyens et sont, à ce titre, directement applicables (ATF 131 I 366; HÄFELIN/HALLER/KELLER, Schweizerisches Bundesstaatsrecht, Zurich 2008, p. 592; SCHOTT, Kommentar BGG, n° 56 ad art. 95). Tel était le cas sous l'empire de la loi fédérale d'organisation judiciaire (art. 84 al. 1 let. a OJ; ATF 121 I 267 consid. 3a p. 269 et les références citées; ATF 104 Ia 284 consid. 2b p. 286), et le législateur n'a pas voulu changer la pratique suivie jusque-là.
2.3 Les recourants estiment que l'art. 178B Cst./GE consacrerait un droit fondamental puisqu'il garantit aux citoyens le droit de ne pas être exposés à la fumée du tabac. Cette opinion ne peut être suivie.
L'art. 178B Cst./GE constitue une norme générale de protection de la santé qui tend à préserver le public dans son ensemble des effets de la fumée passive (ATF 133 I 110 consid. 4.5 p. 117). Comme l'a déjà relevé le Tribunal fédéral, il ne s'agit pas d'une norme d'application immédiate. Celle-ci doit être concrétisée par une loi au sens formel, telle la loi attaquée, prévoyant notamment les mesures de contrôle, les sanctions et les dérogations (même arrêt consid. 6.2 p. 122). On ne saurait par conséquent y voir un droit dont les particuliers pourraient directement se prévaloir, le cas échéant devant un juge, mais une norme de type programmatique dans la concrétisation de laquelle, on le verra, le législateur dispose d'une certaine liberté. Au demeurant, même la loi attaquée, qui vient concrétiser la disposition constitutionnelle, s'analyse davantage comme une norme d'interdiction (assortie de contrôle et de sanctions) que comme un droit que l'individu pourrait faire valoir à l'encontre de l'Etat.
Il en résulte que les recourants ne sont pas recevables à invoquer directement une violation de l'art. 178B Cst./GE.
2.4 En dehors des griefs mentionnés à l'art. 95 let. c et d LTF, la violation du droit cantonal ne constitue pas un motif de recours (ATF 134 III 379 consid. 1.2). Le recourant peut donc uniquement se plaindre de ce que la violation du droit cantonal par l'autorité précédente consacrerait simultanément une violation du droit fédéral au sens de l'art. 95 let. a LTF (ATF 133 III 462 consid. 2.3; 133 II 249 consid. 1.2.1).
2.5 A ce titre, les recourants invoquent également le principe de la légalité, consacré à l'art. 5 al. 1 Cst., selon lequel le droit est la base et la limite de l'activité de l'Etat. Ils estiment que le principe de hiérarchie des normes en serait le corollaire, et qu'il constituerait un droit constitutionnel distinct. Tel n'est toutefois pas le cas. Au contraire du principe de la suprématie du droit fédéral (art. 49 al. 1 Cst.), le principe de la légalité et de la hiérarchie des normes ne constitue pas (hormis en matière pénale et fiscale; ATF 132 I 117 consid. 4.1; 118 Ia 137 consid. 1c) un droit constitutionnel distinct: il s'agit d'un principe constitutionnel dont la violation ne peut pas être invoquée séparément, mais uniquement en relation avec, notamment, le principe de la séparation des pouvoirs, d'un droit fondamental particulier ou de l'interdiction de l'arbitraire (ATF 134 I 322 consid. 2.1 p. 326).
2.5.1 Le principe de la séparation des pouvoirs est garanti par l'art. 130 Cst./GE et, plus généralement, par toutes les constitutions cantonales implicitement ou explicitement; il représente un droit constitutionnel dont peut se prévaloir le citoyen (ATF 130 I 1 consid. 3.1 p. 5 et la jurisprudence citée). Il interdit à un organe de l'Etat d'empiéter sur les compétences d'un autre organe (ATF 106 Ia 389 consid. 3a p. 394). Ce principe garantit le respect des compétences établies par la Constitution. Il appartient en premier lieu au droit public cantonal de fixer les compétences des autorités (ATF 130 I 1 consid. 3.1 p. 5, 128 I 113 consid. 2c p. 116 et les nombreuses références citées).
Le principe de la séparation des pouvoirs régit la répartition des compétences entre les trois pouvoirs, législatif, exécutif et judiciaire. Pour l'essentiel, il s'applique au rapport entre la loi et l'ordonnance, en interdisant au pouvoir exécutif d'édicter des règles de droit, si ce n'est dans le cadre d'une délégation valablement conférée par le législateur (ATF 134 I 322 consid. 2.2 p. 326). L'arrêt cité par les recourants (ATF 106 Ia 389 consid. 3a p. 394) n'étend pas la portée de ce principe puisqu'il sanctionne l'attribution par le parlement cantonal de compétences appartenant au gouvernement.
En l'occurrence, il n'est pas contesté que l'adoption de la LIF relève bien de la compétence du parlement cantonal; la nécessité d'une telle législation d'exécution a été plusieurs fois confirmée dans le cadre des précédentes procédures. Cela étant, la question de savoir si la loi est matériellement conforme à la disposition constitutionnelle ne relève pas de la séparation des pouvoirs proprement dite, principe qui ne s'applique pas au demeurant à l'organe électoral (MOOR, Droit administratif, Berne 1994, vol. 1 p. 201) et, par voie de conséquence, au constituant.
2.5.2 Cela signifie qu'en dehors des dispositions constitutionnelles cantonales conférant directement des droits aux particuliers au sens de l'art. 95 let. c LTF, et à défaut d'un droit constitutionnel particulier valablement invoqué par les recourants, le Tribunal fédéral n'examine que sous l'angle de l'interdiction de l'arbitraire la manière dont le législateur cantonal s'est acquitté du mandat qui lui est attribué par l'art. 178B Cst./GE.
3. Les recourants soulèvent le grief d'arbitraire. L'art. 178B al. 2 Cst./GE prévoirait une interdiction stricte de fumer et les cafés et restaurants seraient expressément visés à l'alinéa 3 de la disposition. L'avis de droit réalisé lors de l'examen de constitutionnalité de l'IN 129 ferait clairement ressortir que les exceptions nécessaires, du point de vue de la proportionnalité, seraient limitées aux lieux à caractère privatif (établissements médicaux ou de détention, chambres d'hôtels). L'introduction de fumoirs dans tous les lieux publics serait dès lors clairement contraire au texte constitutionnel. Il serait arbitraire de considérer des fumoirs comme des lieux privatifs. La possibilité d'installer des fumoirs irait à l'encontre du but de santé publique poursuivi, puisque seule une interdiction totale de la fumée offrirait une protection suffisante.
3.1 Un arrêté de portée générale viole le principe de l'interdiction de l'arbitraire s'il ne repose pas sur des motifs objectifs sérieux ou s'il est dépourvu de sens et de but (ATF 124 I 297 consid. 3b p. 299 et la jurisprudence citée). Le législateur cantonal, organe politique soumis à un contrôle démocratique, doit se voir reconnaître une grande liberté dans l'élaboration des lois (ATF 135 I 130 consid. 6.2 p. 138 et les arrêts cités). Il dispose d'un pouvoir formateur étendu, en particulier dans les domaines qui dépendent très largement de facteurs politiques (ATF 131 I 1 consid. 4.2 p. 7; 111 Ia 86 consid. 3a p. 91). Le Tribunal fédéral n'a pas à revoir l'opportunité des choix effectués dans ce cadre. Il n'annulera pas une disposition légale au motif que d'autres solutions lui paraîtraient envisageables, voire même préférables (ATF 134 I 140 consid. 5.4 p. 148; 133 I 149 consid. 3.1 p. 153; 132 I 13 consid. 5.1 p. 17).
Par ailleurs, le principe de la proportionnalité, bien qu'étant de rang constitutionnel n'est pas un droit constitutionnel ayant une portée propre (ATF 126 I 112 consid. 5b p. 120; 125 I 161 consid. 2b p. 163). Ainsi, lorsque ce principe constitutionnel est invoqué dans le cadre d'un recours pour violation de l'art. 9 Cst., le Tribunal fédéral n'examine ce moyen que sous l'angle restreint de l'arbitraire; autrement dit, ce grief se confond lui aussi avec celui de l'arbitraire (ATF 117 Ia 27 consid. 7a p. 32).
3.2 La rédaction de l'art. 178B Cst./GE a été légèrement modifiée par le Grand Conseil, dans sa décision d'invalidation partielle de l'IN 129, afin précisément de tenir compte des réserves d'interprétation qui avaient été formulées, sur la base d'un avis de droit demandé par le Grand Conseil au Professeur Martenet. Le Tribunal fédéral a confirmé la position du Grand Conseil genevois en considérant que, pour être conforme au principe de la proportionnalité, l'interdiction de fumer devait être assortie de dérogations et d'exceptions afin de tenir compte des situations particulières dans lesquelles la personne désireuse de fumer est appelée à rester durant un certain temps dans un espace fermé dont elle ne peut sortir, notamment les détenus ou pensionnaires d'établissements médicaux; le cas des lieux publics à usage privatif (chambres d'hôtel) devait aussi être réservé (ATF 133 I 110 consid. 6.2 p. 122 et 7.3 p. 125). Ces considérations n'excluent nullement que d'autres exceptions ou aménagements puissent être prévus, pour des raisons différentes, par le législateur cantonal.
3.3 L'art. 178B Cst./GE pose certes le principe de l'interdiction de fumer. Toutefois, en tant que principe général assorti d'un mandat législatif, il ne présente pas un caractère normatif absolu (AUBERT, Notion et fonctions de la Constitution, in: Thürer/Aubert/Müller, Droit constitutionnel suisse, Zurich 2001 p. 12). Il autorise au contraire des exceptions, que le législateur peut prévoir afin de ménager au mieux les intérêts en présence. Seule apparaîtrait arbitraire, dans un tel contexte, une loi qui, par le nombre d'exceptions prévues, viderait pratiquement de son sens le principe posé par la disposition constitutionnelle, ou en compromettrait la réalisation (cf. concernant l'institution du référendum financier, ATF 121 I 291 consid. 2c p. 295).
Tel n'est assurément pas le cas en l'occurrence.
3.3.1 L'art. 4 LIF traite des exceptions à l'interdiction de fumer. Les alinéas 1 et 2 de cette disposition sont consacrés aux lieux privatifs dont font partie (let. a) les fumoirs clos et correctement ventilés installés dans les établissements et lieux publics. Contrairement à ce que soutient le Grand Conseil, de tels fumoirs ne sauraient être considérés comme des lieux privatifs, dans la mesure où ils se situent par définition dans des lieux publics et sont librement accessibles à n'importe quelle personne fréquentant ces lieux. Le fait qu'il s'agit d'endroits fermés n'y change évidemment rien. Cette simple erreur de dénomination ne saurait toutefois être qualifiée d'arbitraire: la disposition demeure, dans son ensemble et dans chacune de ses parties, parfaitement compréhensible.
3.3.2 Les recourants ne peuvent non plus être suivis lorsqu'ils prétendent que l'exception en faveur des fumoirs dans les établissements publics dénaturerait totalement l'interdiction de fumer. En effet, la création de fumoirs ne peut être autorisée à n'importe quelle condition. La loi impose en effet des locaux fermés, correctement ventilés et sans aucun service. L'exploitant doit par ailleurs soumettre sa demande d'exception au Département cantonal de la santé, pour approbation (art. 4 al. 2 LIF).
Appelé à s'interroger sur la constitutionnalité d'une norme de droit cantonal, le Tribunal fédéral doit aussi tenir compte de la manière dont le texte sera vraisemblablement appliqué, le cas échéant sur le vu des travaux préparatoires de l'acte litigieux (ATF 133 I 110 consid. 2.5 non publié; SJ 2001 241; ATF 121 I 334 consid. 2c p. 338). En l'occurrence, la LIF a fait l'objet d'un règlement d'application (RIF), adopté le 7 octobre 2009 et entré en vigueur en même temps que la loi. Le RIF définit de manière très stricte la procédure d'autorisation et les conditions matérielles auxquelles sont soumis les fumoirs. Ainsi, les locaux doivent être dotés de portes à fermetures automatiques, être séparés hermétiquement des pièces contiguës et ne pas constituer un lieu de passage (art. 3 al. 1 let. a RIF). Le système de ventilation doit être séparé de celui du reste du bâtiment et permettre un renouvellement d'air minimal conforme à la norme SIA 382/1; il doit être entretenu régulièrement (art. 3 al. 1 let. b RIF). Le local doit être maintenu en dépression d'au moins 5 pascals par rapport aux pièces communicantes pendant les heures d'ouverture de l'établissement (art. 3 al. 1 let. c RIF). Selon l'art. 2 RIF, l'exploitant doit produire, à l'appui de sa demande, les plans d'aménagement, le descriptif du système de ventilation et toutes les pièces permettant de vérifier le respect des conditions légales et réglementaires. Dès la mise en service, l'exploitant doit pouvoir produire une attestation d'un spécialiste certifiant la conformité de l'installation (art. 3 al. 2 RIF).
Sur le vu de l'ensemble de ces conditions, il apparaît d'emblée que les autorisations d'aménager un fumoir dans les établissements publics ne seront pas délivrées à la légère. Les exigences applicables aux locaux, en particulier celles qui concernent la ventilation et celles qui sont destinées à empêcher la fumée de s'échapper du local paraissent suffisamment contraignantes, d'un point de vue technique et économique, pour qu'il n'y ait pas à redouter une multiplication incontrôlée des établissements dotés de fumoirs.
3.3.3 Les recourants relèvent qu'il n'existe pas de seuil au-dessous duquel l'exposition à la fumée du tabac serait sans danger. Ils invoquent diverses publications selon lesquelles les fumoirs ventilés et isolés ne permettraient pas une élimination à 100% de la fumée. Ces critiques d'ordre général ne tiennent pas comptes des mesures supplémentaires exigées dans le règlement, notamment les portes automatiques et le maintien du local en dépression. Quoi qu'il en soit, la situation s'est radicalement modifiée depuis l'entrée en vigueur de l'interdiction de principe de fumer dans les lieux publics: les personnes qui craignent d'être incommodées dans un établissement public disposant d'un fumoir ont en effet désormais le choix d'en fréquenter d'autres, puisque la grande majorité des établissements sera entièrement non-fumeur.
3.3.4 La LIF procède ainsi d'une pesée des intérêts en présence et de choix d'opportunité, afin de permettre aux fumeurs de ne pas se trouver systématiquement exclus des établissements publics, sans pour autant compromettre le but de santé publique qui est à la base de l'art. 178B Cst./GE. Elle ne saurait être qualifiée d'arbitraire.
4. Le recours doit, par conséquent être rejeté, dans la mesure où il est recevable. Conformément à l'art. 66 LTF, les frais judiciaires sont mis à la charge des recourants qui succombent. Il n'est pas alloué de dépens (art. 68 al. 3 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce:
1. Le recours est rejeté dans la mesure où il est recevable.
2. Les frais judiciaires, arrêtés à 2000 fr., sont mis à la charge des recourants. Il n'est pas alloué de dépens.
3. Le présent arrêt est communiqué au mandataire des recourants et au Grand Conseil du canton de Genève.
Lausanne, le 2 juin 2010
Au nom de la Ire Cour de droit public
du Tribunal fédéral suisse
Le Président: Le Greffier:
Féraud Kurz