Définitions et premières propriétés