Fonction valeur absolue et partie entière