Quatrième proportionnelle et manipulation des formules