Citation: 1E.14/2000 01.02.2001 E. A

A.- Le 9 juin 2000, l'Office fédéral des transports a approuvé les plans du projet des Chemins de fer fédéraux (CFF) en vue de la construction du "tronçon genevois" d'une troisième voie entre Coppet et Genève, (sur le territoire des communes de Versoix, Genthod, Bellevue et Pregny-Chambésy; coordonnées kilométriques: de 50.655 à 52.440 et de 52.580 à 58.130). Une procédure combinée - approbation des plans et expropriation - avait été ouverte à cet effet en 1995. Les époux X.________, copropriétaires d'une parcelle à Genthod où se trouve leur maison d'habitation (parcelle n° 1777), se sont opposés au projet des CFF lors de l'enquête publique. En approuvant les plans, l'Office fédéral des transports a rejeté leur opposition. La réalisation du projet nécessite, selon les CFF, l'expropriation partielle de la parcelle n° 1777 (303 m2 à titre définitif et 157 m2 à titre provisoire, d'après le plan des droits à exproprier figurant dans le dossier mis à l'enquête publique). Le passage de la nouvelle voie est prévu dans cette emprise, un mur de soutènement d'un talus devant en outre être édifié entre la voie et la maison.