operation valeur propre