Non-Standard Analysis, Polynomial Automorphisms and Kontsevich Conjectureдоклад на конференции