fonction définie par partie