La première Cour de droit public du Tribunal fédéral rejeta le recours le 15 octobre 1980.
Son arrêt, long de quinze pages, analysait d'abord la situation des locataires et fermiers en cas d'expropriation. Il relevait ensuite que dès la conclusion de leurs baux - en 1967 et 1958 respectivement -, reconductibles tous les trois mois, les requérants connaissaient les nuisances à prévoir; ils n'avaient pas établi qu'elles eussent notablement empiré depuis lors (article 41 de la loi sur l'expropriation).
C. La surcharge de travail du Tribunal fédéral et les mesures prises pour y faire face
12.