quel est le double de la racine carrée de tiers 75: