Étant donnée une paire $(X,B)$ de dimension trois sur un corps algébriquement clos $k$ de caractéristique $p>5$, nous prouvons les résultats suivants : existence de log-flips lorsque la paire est $\mathbb Q$-factorielle et dlt ; existence de log-modèles minimaux lorsque la paire est klt, projective, et avec $K_X+B$ pseudo-effectif ; finitude de l'anneau log-canonique $R(K_X+B)$ lorsque la paire est klt, projective, et avec $K_X+B$ gros ; semi-amplitude pour un $\mathbb Q$-diviseur nef et gros $D$, sous la condition que $D-(K_X+B)$ est nef et gros et que $(X,B)$ est klt et projective ; existence de modèles dlt et $\mathbb Q$-factoriels lorsque la paire est lc ; existence de modèles terminaux lorsque la paire est klt ; validité de la Conjecture ACC pour le seuil lc, etc.