Définitions et propriétés