push manipulation

correstion des erreurs de compilation