A formalism is proposed to parameterize the gravity waves due to convection in general circulation models with a stratosphere