Create Propositions pour l'axiométhique