BGer 1C_693/2021 vom 3. Mai 2023 , Permis de construire une installation de communication mobile, - Bundesgericht (2023)