Le 23-11-2018, à 16:11:37 +0100, Klaus Becker a écrit :
il y a pdfgrep. Pour la sortie, on peut éventuellement se faire un petit script, je l'ai fait pour mes besoins.
Cool, ça marche bien.
C'est en ligne de commandes.
Un plus. Merci !