We first state two lemmas at the core of our proofs in Section REF . Lemma REF  appears in many forms in the proofs of the PAC-Bayes bounds [1]}, [2]}. For convenience, we use here the version stated in [3]}, [4]}. Lemma REF  is Rio's version of Hoeffding's inequality [5]} for weakly dependent random variables:
