Complétion du module Float