Modèles et formulations faibles pour l’élasticité non linéaire compressible avec plasticité parfaite