Comment manipuler des fichiers PDF récalcitrant ?

Solution : en les ouvrant avec ColorSync.