Faits: Faits: A. Par arrêté du 30 mai 2005, le Conseil d'Etat genevois a fixé au 25 juin 2005 la date de l'élection des seize juges assesseurs auprès du Tribunal cantonal des assurances sociales (TCAS). La votation était initialement prévue pour le 5 juin 2005, mais devait être reportée car la liste de candidats présentée par l'Association suisse des assurés de Genève (ASSUAS) avait été admise, sur recours, de sorte qu'il n'était plus possible d'organiser l'élection à la date prévue. Deux listes participaient à l'élection: la liste conjointe de la Communauté genevoise d'action syndicale et de l'Union des associations patronales genevoises (ci-après: UAPG-CGAS), comportant seize candidats; la liste de deux candidats présentés par l'ASSUAS. Cette dernière, ainsi que ses deux candidats Maurice Schneeberger et Dominique Jeckelmann, ont recouru auprès du Tribunal administratif genevois contre cet arrêté, en tant qu'il admettait à l'élection trois candidats de la liste UAPG-CGAS, soit Christine Bulliard Mangili, Hans-Jürg Stucki et Norbert Heck. Selon l'art. 56T de la loi genevoise d'organisation judiciaire (OJ/GE, dans sa nouvelle teneur du 28 octobre 2004), les seize juges assesseurs, représentant paritairement les partenaires sociaux, devaient bénéficier d'une "formation spécifique sur les questions juridiques et d'assurances sociales dont les modalités sont fixées par le règlement". Selon l'art. 1 du règlement du Conseil d'Etat relatif à la formation spécifique des juges assesseurs du TCAS, du 26 janvier 2005 (ci-après: le règlement), la formation spécifique des juges assesseurs consistait en: a) une licence en droit suisse ou une formation jugée équivalente, ou b) un brevet fédéral d'assurances sociales, ou c) une expérience professionnelle jugée équivalente dans le domaine des assurances sociales ou le domaine médical. Selon les recourants, le règlement dérogeait à la loi en introduisant la notion d'expérience professionnelle. Les recourants contestaient, à titre subsidiaire, que l'expérience professionnelle des trois candidats contestés puisse être qualifiée d'équivalente. Cette dernière, ainsi que ses deux candidats Maurice Schneeberger et Dominique Jeckelmann, ont recouru auprès du Tribunal administratif genevois contre cet arrêté, en tant qu'il admettait à l'élection trois candidats de la liste UAPG-CGAS, soit Christine Bulliard Mangili, Hans-Jürg Stucki et Norbert Heck. Selon l'art. 56T de la loi genevoise d'organisation judiciaire (OJ/GE, dans sa nouvelle teneur du 28 octobre 2004), les seize juges assesseurs, représentant paritairement les partenaires sociaux, devaient bénéficier d'une "formation spécifique sur les questions juridiques et d'assurances sociales dont les modalités sont fixées par le règlement". Selon l'art. 1 du règlement du Conseil d'Etat relatif à la formation spécifique des juges assesseurs du TCAS, du 26 janvier 2005 (ci-après: le règlement), la formation spécifique des juges assesseurs consistait en: a) une licence en droit suisse ou une formation jugée équivalente, ou b) un brevet fédéral d'assurances sociales, ou c) une expérience professionnelle jugée équivalente dans le domaine des assurances sociales ou le domaine médical. Selon les recourants, le règlement dérogeait à la loi en introduisant la notion d'expérience professionnelle. Les recourants contestaient, à titre subsidiaire, que l'expérience professionnelle des trois candidats contestés puisse être qualifiée d'équivalente. B. Par arrêt du 19 juillet 2005, le Tribunal administratif a admis partiellement le recours et annulé l'arrêté du 30 mai 2005 en tant qu'il admettait les candidatures de Norbert Heck et Hans-Jürg Stucki. La notion de formation était claire et objective, puisqu'elle devait être concrétisée par un titre universitaire, un diplôme ou un certificat. Celle d'expérience professionnelle était floue et sujette à interprétation. L'art. 1 al. 1 let. c du règlement dépassait donc le cadre fixé par la loi. En l'occurrence, aucun des candidats ne disposait d'un brevet d'avocat ou d'un brevet fédéral d'assurances sociales. Le candidat Heck se fondait uniquement sur son expérience professionnelle, et n'était donc pas éligible. Le candidat Stucki ne l'était pas non plus, car son brevet de président et conciliateur de la juridiction des prud'hommes n'équivalait pas à une licence en droit. En revanche, Christine Bulliard Mangili avait suivi diverses formations équivalant, dans le domaine de compétences du TCAS, à une licence en droit suisse. B. Par arrêt du 19 juillet 2005, le Tribunal administratif a admis partiellement le recours et annulé l'arrêté du 30 mai 2005 en tant qu'il admettait les candidatures de Norbert Heck et Hans-Jürg Stucki. La notion de formation était claire et objective, puisqu'elle devait être concrétisée par un titre universitaire, un diplôme ou un certificat. Celle d'expérience professionnelle était floue et sujette à interprétation. L'art. 1 al. 1 let. c du règlement dépassait donc le cadre fixé par la loi. En l'occurrence, aucun des candidats ne disposait d'un brevet d'avocat ou d'un brevet fédéral d'assurances sociales. Le candidat Heck se fondait uniquement sur son expérience professionnelle, et n'était donc pas éligible. Le candidat Stucki ne l'était pas non plus, car son brevet de président et conciliateur de la juridiction des prud'hommes n'équivalait pas à une licence en droit. En revanche, Christine Bulliard Mangili avait suivi diverses formations équivalant, dans le domaine de compétences du TCAS, à une licence en droit suisse. C. Norbert Heck, Hans-Jürg Stucki, la Communauté genevoise d'action syndicale et Georges Tissot, en tant qu'électeur genevois, forment un recours de droit public fondé sur l'art. 85 let. a OJ. Ils concluent à l'annulation de l'arrêt du Tribunal administratif, subsidiairement à ce qu'un délai leur soit octroyé pour présenter deux nouveaux candidats de remplacement. Le Tribunal administratif se réfère à son arrêt. La Chancellerie d'Etat conclut à l'irrecevabilité du recours en tant qu'il est formé par la CGAS, et en tant qu'il conclut à l'octroi d'un délai de présentation supplémentaire; sur le fond, elle propose le rejet du recours. L'ASSUAS et ses deux candidats concluent au rejet du recours, tout en formulant les mêmes réserves que la Chancellerie d'Etat quant à sa recevabilité. 