1: \begin{abstract}

2:   We prove that for $p$\--optimal fields (a very large subclass of

3:   $p$\--minimal fields containing all the known examples) a cell

4:   decomposition theorem follows from methods going back to Denef's

5:   paper \cite{dene-1984}. We derive from it the existence of definable

6:   Skolem functions and strong $p$\--minimality. Then we turn to

7:   strongly $p$\--minimal fields satisfying the Extreme

8:   Value Property -- a property which in particular holds in fields

9:   which are elementarily equivalent to a $p$-adic one. For such fields

10:   $K$, we prove that every definable subset of $K\times K^d$ whose fibers

11:   over $K$ are inverse images by the valuation of subsets of

12:   the value group, are semi-algebraic. Combining the two we get a

13:   preparation theorem for definable functions on $p$\--optimal fields

14:   satisfying the Extreme Value Property, from which it follows that

15:   infinite sets definable over such fields are in definable

16:   bijection iff they have the same dimension. 

17: \end{abstract}

18: