Abstract : We consider linearly elastic shells whose middle surfaces have the most general geometries, and we provide complete proofs of the ellipticity of the strain energies found in two commonly used two-dimensional models : Koiter's model and Naghdi's model.