Citation: 1C_230/2016 E. 2.1

2.1. L'expropriation formelle constitue en principe une restriction grave au droit de propriété, garanti par l'art. 26 al. 1 Cst.; pour être compatible avec cette disposition, l'expropriation formelle doit reposer sur une loi au sens formel, être justifiée par un intérêt public et demeurer proportionnée au but visé (art. 36 al. 1 à 3 Cst.; ATF 142 I 76 consid. 3.1 et les arrêts cités). En l'occurrence toutefois, l'atteinte aux droits des recourants ne saurait être qualifiée de grave puisqu'elle ne s'étend pas à leurs propres parts de copropriété mais seulement à celles de l'intimée. Quoiqu'il en soit, la base légale apparaît en l'occurrence suffisamment claire et précise.