fonction partie finie