La déforestation de l'Amazonie en recul au premier semestre 2023, selon le gouvernement brésilien