Analyse limite des coques de révolution sous chargement axisymétrique par la méthode des éléments finis et la programmation mathématique