28 mai 2010 | 16h00 Quantifier elimination for theories of valued fields with restricted analytic functions Salle W ENS