Let $H$ be a quaternionic algebra over ${\bf Q}$, and let $R$ denote a maximal ${\bf Z}$-order in $H$. Is there a theorem on the structure of the units in $R$ analogous to the Dirichlet unit theorem? Is there an analogous theorem for the $S$-units?