Réévaluation des propriétés de RealT