It's just a formality. In fact, a default would simply bolster Lagarde's case.
The USA is on the hook for around 60-100 Billion Dollars if Greece defaults, thanks to Obama’s loan assurances.
EuroZone (European Zone) = Greece = broke
O-Zone (Obama Zone of Influence) = USA = broke