Définitions, propriétés