Uncomputably large integral points on algebraic plane curves? Théorèmes des zéros et Positivstellensatz pour les fonctions de Nash dans le cas non lisse. (Nullstellensätze and Positivstellensatz for Nash functions in the non smooth case) 