Formalisation en logique des prédicats des propositions aristotéliciennes typiques