Propriétés définies par des formules : Exemples