What song did Lady Gaga perform at the Olympics opening ceremony?

Lady Gaga delivered a dazzling performance as the first musical act during the Paris Olympics 2024 opening ceremony — except it was all prerecorded