modification int en float (probleme de precision