forme canonique fonction partie entière