\section{Binary positive integers : PArith}\label{PArith}

Here are defined various arithmetical notions and their properties,
similar to those of {\tt Arith}.
