Mulhouse relies on smart irrigation for its urban trees