Operateurs finis