Propriétés transformationnelles unaires en lexicographie informatique