pdf-tools inclut pdf-view-mode qui offre plusieurs fonctionnalités non présentes en doc-view-mode (voir fin de la question). Le mode pdf-view peut-il être utilisé en remplacement du mode doc-view en général, ou doit-il être "outil" par outil? Dans les deux cas, est-il nécessaire de modifier la...