Faits: Faits: A. Une procédure d'expropriation (procédure sommaire) a été ouverte en 1997 à la requête de la société anonyme L'Energie de l'Ouest-Suisse, afin de permettre à cette société d'acquérir certains droits nécessaires au passage des conducteurs d'une nouvelle ligne électrique aérienne (ligne 380/132 kV EOS-CFF Saint-Triphon - Chamoson) sur le territoire de la commune de Saint-Maurice, en particulier sur la parcelle n° 1370, propriété des frères B._ et A._, et sur la parcelle n° 2515, appartenant à X._ et Y._ (les époux Z._ ont l'usufruit de cet immeuble). Dans ces deux cas, une procédure d'estimation a été ouverte à la fin de l'année 2000 par le Président de la Commission fédérale d'estimation du 3e arrondissement. Par deux décisions distinctes du 27 février 2002, la Commission fédérale a statué sur les prétentions des frères A._ et B._, d'une part, et sur celles des consorts X._. Y._, Z._, d'autre part. Dans les deux cas, les expropriés ont recouru au Tribunal fédéral. Les recours de droit administratif ont l'un et l'autre été admis par arrêt du 22 juillet 2003: les deux décisions de la Commission fédérale ont été annulées, avec renvoi de l'affaire à cette autorité pour nouvelle décision (arrêt 1E.14/2002 dans la cause A._ et B._, publié aux ATF 129 II 420; arrêt 1E.17/2002 dans la cause X._, Y._, Z._). Le Tribunal fédéral a mentionné, dans chaque arrêt, les lacunes de la décision d'estimation, puis donné des indications sur les points restant à traiter (cf. consid. 8 de l'arrêt 1E.14/2002 et consid. 8 de l'arrêt 1E.17/2002). Par deux décisions distinctes du 27 février 2002, la Commission fédérale a statué sur les prétentions des frères A._ et B._, d'une part, et sur celles des consorts X._. Y._, Z._, d'autre part. Dans les deux cas, les expropriés ont recouru au Tribunal fédéral. Les recours de droit administratif ont l'un et l'autre été admis par arrêt du 22 juillet 2003: les deux décisions de la Commission fédérale ont été annulées, avec renvoi de l'affaire à cette autorité pour nouvelle décision (arrêt 1E.14/2002 dans la cause A._ et B._, publié aux ATF 129 II 420; arrêt 1E.17/2002 dans la cause X._, Y._, Z._). Le Tribunal fédéral a mentionné, dans chaque arrêt, les lacunes de la décision d'estimation, puis donné des indications sur les points restant à traiter (cf. consid. 8 de l'arrêt 1E.14/2002 et consid. 8 de l'arrêt 1E.17/2002). B. Après le renvoi des affaires en première instance, dans le cadre de la procédure probatoire, un architecte - non membre de la Commission fédérale - a été désigné le 9 janvier 2004 comme expert spécial, avec la mission d'estimer le prix du marché des deux immeubles précités. Cet architecte a déposé le 25 décembre 2004 deux rapports d'expertise (un par immeuble). La fixation des indemnités dues à cet expert spécial a fait l'objet d'une contestation. Par un arrêt rendu le 20 mars 2006, le Tribunal fédéral a déclaré irrecevable un recours formé par l'architecte contre les décisions du 7 octobre 2005 par lesquelles le Président de la Commission fédérale arrêtait le montant de ses honoraires (arrêt 1E.5/2006). B. Après le renvoi des affaires en première instance, dans le cadre de la procédure probatoire, un architecte - non membre de la Commission fédérale - a été désigné le 9 janvier 2004 comme expert spécial, avec la mission d'estimer le prix du marché des deux immeubles précités. Cet architecte a déposé le 25 décembre 2004 deux rapports d'expertise (un par immeuble). La fixation des indemnités dues à cet expert spécial a fait l'objet d'une contestation. Par un arrêt rendu le 20 mars 2006, le Tribunal fédéral a déclaré irrecevable un recours formé par l'architecte contre les décisions du 7 octobre 2005 par lesquelles le Président de la Commission fédérale arrêtait le montant de ses honoraires (arrêt 1E.5/2006). C. Agissant conjointement, les frères A._ et B._ et les consorts X._, Y._. Z._ ont déposé le 5 mai 2006 auprès du Tribunal fédéral un recours de droit administratif, pour déni de justice formel. Ils se plaignent de l'absence de décision définitive sur l'indemnisation environ six ans après l'ouverture de la procédure d'estimation. Ils concluent à ce que la Commission fédérale soit "sommée de statuer dans les plus brefs délais, à savoir notamment rendre une décision concernant la surexpertise demandée par la partie expropriante EOS S.A., et rendre une décision finale d'expropriation dans des délais extrêmement brefs, avec date limite". La Commission fédérale a produit son dossier en présentant quelques observations au sujet de l'instruction. Dans sa réponse du 7 juin 2006, cette autorité indique que les parties ont été citées à une audience fixée le 9 juin 2006. Le Tribunal fédéral a ensuite été informé que cette audience avait été reportée au 26 juillet 2006, à la requête de l'expropriante, et que le Président demanderait aux parties d'exprimer leur avis concernant une éventuelle nouvelle expertise. Invitée à répondre au recours, la société EOS s'en remet à justice.