@pablopernot : retapper.La correction de l’OCR est tellement pénible que retapper est plus facile. Et puis, ça force à une relecture profonde.