Jean Ravestein, biographie et bibliographie