salut
je cherche une fonction prédifinie qui convertit un nombre réel en entier