Some integrals of hypergeometric functions

We consider a certain definite integral involving the product of two classical hypergeometric functions having complicated arguments. We show in this paper the surprising fact that this integral does not depend on the parameters of the hypergeometric functions.