In this article, a formalism of physics is built by using only algebric combinations of symbols which represent collisions between bodies. The connection with reality is made by measures of time. The formalism is brought down to that of Dirac's matrices in a constant curvature space (De Sitter space). As a result it becomes possible to condense most of the physical basic laws, that are moreover written in a unified symbolism. The general application of this formalism will be the numerical treatment of physical problems.