Fix cast in erreur.sage
Change ub calculation, still not working