Construction et application d'un système axiomatique