Expression algébrique du système axiomatique de la géométrie plane