PAC-Bayesian Theory Meets Bayesian Inference