propriété algébrique