BGer 1C_79/2023 vom 12. Juli 2023 , Permis de construire une installation de communication mobile, - Bundesgericht (2023)