BGer 1C_694/2021 vom 3. Mai 2023 , Permis de construire; modification d'une installation de communication mobile, - Bundesgericht (2023)