pdf	PDF sense OCR	2022_-_Gavalda_et_al._.pdf