Propriétés des algorithmes