BGer 1C_157/2022 vom 11. Mai 2023 , Permis de construire, - Bundesgericht (2023)