Fonction de carte pour modifier le type d'élément dans Python

nums = ['3','4','7']
nums = list(map(int, nums))
print(nums)
Tired Pasha rocks