We prove that, given a constant K>2 and a bounded linear operator T from a JB*-triple E into a complex Hilbert space H, there exists a norm-one functional g on E satisfying ||T(x)|| 8(1 + 2 sqrt(3)) and a bounded bilinear form V on the Cartesian product of two JB*-triples E and B, there exist norm-one functionals g on E and h on B* satisfying |V(x,y)| <= G ||V|| ||x||_g ||y||_h for all (x, y) from ExB. These results prove a conjecture pursued during almost twenty years.