C(X) as a bidual space