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 (ci-après: la société EOS, ou l'expropriante), 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), en particulier sur la parcelle n° 2515 du registre foncier de la commune de Saint-Maurice. Cette parcelle de 950 m2 classée dans la zone à bâtir appartient en copropriété à X._ et Y._; les époux Z._, qui ont l'usufruit de l'immeuble, habitent la villa qui s'y trouve. D'après l'avis personnel envoyé le 20 mai 1997 aux consorts X._ (les expropriés), la procédure a pour objet la constitution, sous forme de servitude apparente (art. 676 al. 2 CC) limitée à 50 ans, d'un droit de passage pour les conducteurs sur une longueur de 12 m. L'avis indique que sur ce tronçon (entre les pylônes 13 et 31), la nouvelle ligne reprend le tracé initial de la ligne EOS 220 kV Chamoson-Romanel et qu'il s'agirait donc d'une transformation. Les consorts X._ se sont opposés à l'expropriation. Le 22 juin 1998, le Département fédéral de l'environnement, des transports, de l'énergie et de la communication (DETEC) a écarté l'opposition et accordé le droit d'expropriation à la société EOS. Les expropriés ont formé un recours de droit administratif contre cette décision, que le Tribunal fédéral a pour l'essentiel rejeté par un arrêt rendu le 9 novembre 1999 (cause 1E.13/1998). Auparavant, l'Inspection fédérale des installations à courant fort (IFICF) avait approuvé, le 18 octobre 1993, les plans de la nouvelle ligne 380 kV. Les consorts X._ n'avaient pas contesté, à ce stade, le choix du tracé. D'autres intéressés avaient recouru, en vain, contre cette décision auprès du Département fédéral des transports, des communications et de l'énergie puis du Conseil fédéral. Auparavant, l'Inspection fédérale des installations à courant fort (IFICF) avait approuvé, le 18 octobre 1993, les plans de la nouvelle ligne 380 kV. Les consorts X._ n'avaient pas contesté, à ce stade, le choix du tracé. D'autres intéressés avaient recouru, en vain, contre cette décision auprès du Département fédéral des transports, des communications et de l'énergie puis du Conseil fédéral. B. Dans l'arrêt 1E.13/1998, le Tribunal fédéral a retenu que le conducteur externe de la nouvelle ligne le plus proche de la maison d'habitation survolait la propriété des expropriés sur une distance de 23 mètres; l'expropriante l'a admis (consid. 3). Aussi la décision du DETEC a-t-elle été réformée "en ce sens que le droit d'expropriation est accordé à la société EOS pour la constitution d'une servitude de passage des conducteurs pour la nouvelle ligne aérienne 380/132 kV EOS/CFF [...], sur la parcelle n° 2515 du cadastre de Saint-Maurice [...], sur une longueur de 23 mètres" (ch. 1 du dispositif de l'arrêt du Tribunal fédéral du 9 novembre 1999). B. Dans l'arrêt 1E.13/1998, le Tribunal fédéral a retenu que le conducteur externe de la nouvelle ligne le plus proche de la maison d'habitation survolait la propriété des expropriés sur une distance de 23 mètres; l'expropriante l'a admis (consid. 3). Aussi la décision du DETEC a-t-elle été réformée "en ce sens que le droit d'expropriation est accordé à la société EOS pour la constitution d'une servitude de passage des conducteurs pour la nouvelle ligne aérienne 380/132 kV EOS/CFF [...], sur la parcelle n° 2515 du cadastre de Saint-Maurice [...], sur une longueur de 23 mètres" (ch. 1 du dispositif de l'arrêt du Tribunal fédéral du 9 novembre 1999). C. Dans cet arrêt 1E.13/1998, le Tribunal fédéral s'est prononcé sur la requête des consorts X._ tendant au déplacement de la ligne électrique parce qu'ils craignaient les conséquences d'une exposition aux champs électromagnétiques. Le Tribunal fédéral a examiné ces questions sous l'angle du droit fédéral de la protection de l'environnement et il a jugé que les moyens des consorts X._ étaient mal fondés. Ce dossier contient les indications suivantes (sur lesquelles les parties ont pu se déterminer au cours de la procédure du recours de droit administratif 1E.13/1998): La décision du DETEC du 22 juin 1998 mentionne des calculs effectués par l'Inspection fédérale des installations à courant fort (IFICF) dont il résulte que, dans les locaux habitables de la maison des expropriés, l'intensité du champ électrique de la nouvelle ligne serait de l'ordre de 135 V/m, tandis que l'induction du champ magnétique serait de 0.870 . Un rapport de l'IFICF du 16 avril 1999, intitulé "Mesures in situ des champs électromagnétiques produits par la ligne 380/132 kV St-Triphon - Chamoson dans la propriété X._ parcelle n° 2515, commune de St-Maurice", donne les résultats de mesures effectuées sur place le 17 février 1999, à trois endroits au niveau du sol (à l'extérieur devant l'entrée, dans la cuisine, dans le salon - la ligne électrique était alors déjà construite et en exploitation, après une décision d'envoi en possession anticipé - cf. arrêt 1E.17/1998 du 22 octobre 1998). Les valeurs mesurées sont comprises entre 0.19 et 0.31  (dans ce dernier cas, la mesure a été effectuée alors qu'une machine à café était enclenchée dans la même pièce). La charge de la ligne 380/132 kV était au moment des mesures de 471 A. La présence à proximité directe d'une autre ligne électrique est mentionnée (ligne 200 kV Riddes-Morgins, dont le tracé est parallèle, quelques mètres à l'ouest); le jour des mesures, la charge de cette dernière ligne était de 284 A. Le degré de précision des mesures est de +/- 10 %. Le rapport de l'IFICF indique encore le résultat de calculs du champ magnétique de la nouvelle ligne 380/132 kV dans le bâtiment des expropriés. En prenant en considération la charge au moment des mesures, la densité de flux magnétique est de 0.23 ; avec une charge maximale de 2000 A, cette densité serait de 0.78 . Une note établie par l'expropriante le 11 juin 1999, intitulée "Enregistrement des valeurs électriques - Période du 9 décembre 1998 au 30 mai 1999", indique qu'en pratique on ne devrait pas dépasser sur de longues périodes la moitié de la puissance ou charge thermique de la ligne, soit en l'occurrence 1120 A (ou 785 MW). Le rapport de l'IFICF du 16 avril 1999 en déduit que la valeur réelle des immissions dans cette zone d'habitation devrait la plupart du temps être inférieure à 0.5 . Le rapport de l'IFICF indique encore le résultat de calculs du champ magnétique de la nouvelle ligne 380/132 kV dans le bâtiment des expropriés. En prenant en considération la charge au moment des mesures, la densité de flux magnétique est de 0.23 ; avec une charge maximale de 2000 A, cette densité serait de 0.78 . Une note établie par l'expropriante le 11 juin 1999, intitulée "Enregistrement des valeurs électriques - Période du 9 décembre 1998 au 30 mai 1999", indique qu'en pratique on ne devrait pas dépasser sur de longues périodes la moitié de la puissance ou charge thermique de la ligne, soit en l'occurrence 1120 A (ou 785 MW). Le rapport de l'IFICF du 16 avril 1999 en déduit que la valeur réelle des immissions dans cette zone d'habitation devrait la plupart du temps être inférieure à 0.5 . D. Dans leur recours de droit administratif contre la décision du DETEC, les consorts X._ prétendaient en outre que le bruit de la ligne électrique serait excessif. Ce grief a été rejeté par le Tribunal fédéral, qui a appliqué sur ce point la législation fédérale sur la protection de l'environnement. L'arrêt 1E.13/1998 mentionne des calculs effectués par l'IFICF pour déterminer le niveau de bruit dans la villa (niveau Lr, calculé selon l'annexe 6 de l'ordonnance sur la protection contre le bruit [OPB; RS 814.41], à la fenêtre du premier étage sur la façade ouest); il en est résulté un dépassement de 3.36 dB(A) de la valeur de planification pour la nuit (consid. 6 de l'arrêt 1E.13/1998). En d'autres termes, le niveau Lr est d'après ces calculs d'environ 48 dB(A) la nuit. L'arrêt ajoute que les valeurs limites d'immissions (60 dB le jour et 50 dB la nuit) sont respectées. Le Tribunal fédéral s'est encore référé à un rapport d'expertise acoustique établi le 21 juin 1999 par le bureau d'ingénieur Gilbert Monay, à Lausanne, dans une procédure de recours de droit administratif instruite parallèlement concernant la même ligne électrique (affaire 1E.14/1998, consorts A._ et B._ c. EOS). Ces données avaient été portées à la connaissance des consorts X._. La détermination du niveau Lr par le bureau Monay a abouti, dans cette affaire, à des résultats inférieurs à ceux des calculs précédents de l'IFICF; aussi le Tribunal fédéral a-t-il admis la représentativité de cette dernière évaluation du niveau de bruit. Le Tribunal fédéral s'est encore référé à un rapport d'expertise acoustique établi le 21 juin 1999 par le bureau d'ingénieur Gilbert Monay, à Lausanne, dans une procédure de recours de droit administratif instruite parallèlement concernant la même ligne électrique (affaire 1E.14/1998, consorts A._ et B._ c. EOS). Ces données avaient été portées à la connaissance des consorts X._. La détermination du niveau Lr par le bureau Monay a abouti, dans cette affaire, à des résultats inférieurs à ceux des calculs précédents de l'IFICF; aussi le Tribunal fédéral a-t-il admis la représentativité de cette dernière évaluation du niveau de bruit. E. Dans leur opposition, les expropriés demandaient encore une indemnité pour la constitution de la servitude, en se référant essentiellement aux champs électromagnétiques engendrés par la nouvelle ligne, d'après eux nuisibles pour leur santé. La conciliation a été tentée en vain le 1er octobre 1997 par le Président de la Commission fédérale d'estimation du 3e arrondissement (ci-après: la Commission fédérale). Après le traitement des oppositions, la procédure d'estimation a été ouverte. Le 7 décembre 2000, les expropriés ont communiqué leurs prétentions à la Commission fédérale: ils ont demandé l'expropriation totale de leur immeuble et à titre subsidiaire le versement d'une indemnité compensant la moins-value causée par les champs électromagnétiques, le bruit et l'atteinte au site. La Commission fédérale a entendu les parties le 13 décembre 2000. Les expropriés ont alors requis une nouvelle expertise des nuisances de la ligne électrique, en contestant le "caractère neutre" de l'Inspection fédérale (IFICF). Cette requête a été rejetée le jour même. Les expropriés ont formé contre cette décision incidente un recours de droit administratif. Le Tribunal fédéral l'a partiellement admis, en annulant la condamnation des expropriés aux frais de la décision incidente, mais en considérant en revanche que le refus d'ordonner une nouvelle expertise était fondé (arrêt 1E.18/2001 du 10 décembre 2001). La Commission fédérale a entendu les parties le 13 décembre 2000. Les expropriés ont alors requis une nouvelle expertise des nuisances de la ligne électrique, en contestant le "caractère neutre" de l'Inspection fédérale (IFICF). Cette requête a été rejetée le jour même. Les expropriés ont formé contre cette décision incidente un recours de droit administratif. Le Tribunal fédéral l'a partiellement admis, en annulant la condamnation des expropriés aux frais de la décision incidente, mais en considérant en revanche que le refus d'ordonner une nouvelle expertise était fondé (arrêt 1E.18/2001 du 10 décembre 2001). F. La Commission fédérale a statué le 27 février 2002, après avoir entendu une nouvelle fois les parties. Elle a prononcé la constitution "par voie d'expropriation, sur la parcelle n° 2515 de la Commune de Saint-Maurice, propriété de X._ et Y._, et en faveur de l'Energie Ouest-Suisse, ou de ses ayants droit, en plus des droits déjà existants, [d']une servitude personnelle et cessible apparente (art. 676 al. 3 CC) de passage de ligne à haute tension (sur une distance de 12 mètres linéaires) pour la durée de 50 ans, avec droit d'accès pour la construction, l'entretien, la surveillance, le renforcement et la transformation des installations". Elle a rejeté la demande d'expropriation totale de la parcelle et condamné l'expropriante à verser aux expropriés une indemnité de 14'750 fr., avec intérêts au taux usuel, "pour l'indemnisation de la moins-value au bâtiment et à la parcelle". Les frais de la procédure ont été mis à la charge de l'expropriante, y compris les dépens dus aux expropriés, par 2'000 fr. Dans les motifs de son prononcé, la Commission fédérale a exposé que l'indemnité était formée d'un montant de 4'750 fr. pour la moins-value subie par le terrain, soit 5 fr./m2, et de 10'000 fr. pour celle affectant le bâtiment, ce dernier montant étant fixé ex aequo et bono. F. La Commission fédérale a statué le 27 février 2002, après avoir entendu une nouvelle fois les parties. Elle a prononcé la constitution "par voie d'expropriation, sur la parcelle n° 2515 de la Commune de Saint-Maurice, propriété de X._ et Y._, et en faveur de l'Energie Ouest-Suisse, ou de ses ayants droit, en plus des droits déjà existants, [d']une servitude personnelle et cessible apparente (art. 676 al. 3 CC) de passage de ligne à haute tension (sur une distance de 12 mètres linéaires) pour la durée de 50 ans, avec droit d'accès pour la construction, l'entretien, la surveillance, le renforcement et la transformation des installations". Elle a rejeté la demande d'expropriation totale de la parcelle et condamné l'expropriante à verser aux expropriés une indemnité de 14'750 fr., avec intérêts au taux usuel, "pour l'indemnisation de la moins-value au bâtiment et à la parcelle". Les frais de la procédure ont été mis à la charge de l'expropriante, y compris les dépens dus aux expropriés, par 2'000 fr. Dans les motifs de son prononcé, la Commission fédérale a exposé que l'indemnité était formée d'un montant de 4'750 fr. pour la moins-value subie par le terrain, soit 5 fr./m2, et de 10'000 fr. pour celle affectant le bâtiment, ce dernier montant étant fixé ex aequo et bono. G. Agissant par la voie du recours de droit administratif, les expropriés requièrent le Tribunal fédéral de prononcer l'expropriation totale de leur immeuble et de charger un expert judiciaire de fixer l'indemnité. A titre subsidiaire, ils demandent que la moins-value pour "changement d'affectation du bâtiment" et "dévaluation de la parcelle" soit compensée par une indemnité fixée par expertise judiciaire. L'expropriante conclut au rejet du recours des expropriés. L'expropriante conclut au rejet du recours des expropriés. H. Par un recours de droit administratif joint, l'expropriante demande l'annulation de la décision attaquée dans la mesure où elle la condamne au versement d'une indemnité de 10'000 fr., censée compenser la dépréciation du bâtiment des expropriés. Les expropriés concluent au rejet du recours joint tout en confirmant les conclusions de leur recours principal. Les expropriés concluent au rejet du recours joint tout en confirmant les conclusions de leur recours principal. I. La Commission fédérale a renoncé à se déterminer sur les recours. 