BGer 1F_8/2023 vom 31. Mai 2023 , Demande de révision de l'arrêt du Tribunal fédéral suisse 1C_588/2022 du 23 janvier 2023. - Bundesgericht (2023)